I've recently bought a round 13 pin DIN connector (PCB mountable). I noticed that there's a "slot" in it which looks like it could hold a micro-switch (for detecting when a matching plug has been inserted or removed). If that's the case, what kind of micro-switch will I be looking for?
Here's some photos I've taken of my 13 pin DIN connector: