Durchmesser Wasserschlauch zum Kühler?