Wie wird eine Gasleitung verlegt?