Danke, genau das hab ich gesucht. Hab sogar bei Mercato gesucht, aber auf Mikroschalter bin ich nicht gekommen.
Dachte so was heißt Miniatur-Endschalter oder Endschalter.

Und weiter gehts