Wie werden Ofenrohre abgedichtet?