Ganz unaufdringlich wurde uns angeboten, einen Servicetechniker vorbeizuschicken, und auf meine Frage, was das denn wohl kosten würde, lautete die Antwort: Das ist Service des Hauses!