Kurzhubtaster in Industrie-Mikroschalter