Einhell Garagentorantrieb Endschalter, Mikroschalter