[Erich]

Thermostat wuerd ich auf jeden Fall auch wechseln, den das ist ein Verschleissteil, und wenn sie da schon mal solche umfangreichen Arbeiten ausfuehren muessen, dann gleich alles da tauschen.