Was kostet das Verlegen einer Gasleitung im Haus?