Wie tief wird Gasleitung verlegt?