Übrigens muss man das Schloss nicht komplett tauschen. Der Schalter kann auch einzeln ausgetauscht werden.
Dazu muss man mit einem Schlitzschraubendreher eine Rastnase unmittelbar neben dem Steckeranschluss runterdrücken. So lässt sich der Schalter aus dem Schloss herausziehen.