9. Rohrleitungen für den Wärmeschutz dämmen