Moin Schorsch...

ich glaube 6mm, einfach in den 'Deckel' der die beiden Kreisläufe voneinander trennt.

Bisher funktioniert es.
Wir gehen aber wahrscheinlich auch noch dem Kühler auf den Grund (entkalken/neu).

Viele Grüße,

M.