Gezeigt und erläutert wird ein Verfahren, Gasrohre in Häusern gegen schleichend austretendes Gas abzudichten, um Gasexplosionen zu vermeiden.