Wäre ein ganz gewöhnlicher 0815 Endschalter keine Lösung ?!?