Wie tief liegen Gasleitungen in der Wand?