So kleines erfreuliches Update. Nachdem ich am Freitag ein Zündschloß bestellt habe, kam das Teil heute.
1 Stunde habe ich gebraucht, um den neuen Zylinder auf meine Schlüssel umzustecken. Der Einbau des Zylinders ging dann innerhalb von 10 Minuten. Und der kleinen Bock läuft wieder.