Hallo Thomas,

vielen Dank für die Infos. Das ist ja echt Mist, dass es dafür keine Ersatzteile mehr gibt. Laut Mechaniker ist das Plastikteil am Ende des Zylinders auseinandergebrochen. Ich habe es noch nicht in live betrachtet, werde das aber wahrscheinlich am Montag nachholen. Vielleicht ist da doch noch was zu retten?
Meine Hoffnung ist so ein bisschen, dass vielleicht jemand hier im Forum noch so einen Zylinder herumliegen hat, das Umcodieren wäre ja weniger ein Problem als überhaupt einen passenden Zylinder zu bekommen.

Übrigens hast Du absolut Recht, dass es, wenn es bei so etwas schon Probleme gibt, mit der Ersatzteilversorgung für die Zukunft eher schlecht aussieht.