oki - danke für die Hinweise. Habe mir mal vorsorglich einen neuen bestellt.
Notfalls dient der alte dann als Ersatzteilspender.
Notfalls dient der alte dann als Ersatzteilspender.