Wie groß soll der Durchmesser von Heizungsrohren sein?