Wie sind Gasleitung zu verlegen?