Hallo Volker,
hängt der Evolventenwärmetauscher nicht mit am Deckel dran? wenn er drin bleibt ist es immer besser. die alten Versionen haben ja noch den aussenliegenden Wärmetauscher. Bei denen kann man den Decekl ja ohne weiterres wechseln.
ansonsten sind die tauchsieder schon super, da war dann auch das Fahrerhaus schon warm morgens.