Wie tief legt man eine Gasleitung?