Schalter | Hall-Effekt-Drucktaster