Across Dietmar, leider hat es dich mit diesem Problem getroffen und so wie ich das Forum in Erinnerung habe, bist du der erste mit diesem Problem.
Hilft dir zwar im Moment nicht weiter, aber dennoch gut (auch wenn nicht für dich persönlich), dass der Fehler auftrat, du uns berichtet hast und an einer Lösung gesucht wird.
Ich glaube du wirst morgen bestimmt vom Händler/der Werkstatt folgendes hören: "Oh, was hat er? Ne, dass hatten wir noch nicht!"
Du hattest ja bei dem ganzen Schlamassel noch richtig Glück, da du ja aus dem Urlaub zurück zu Hause warst und es nicht im Urlaub passiert ist. So kannst du evtl. noch was positives draus ziehen.
Viel Erfolg und ich bin echt sowas von gespannt, was die Ursache war/ist.