Gasleitung durch Bauarbeiten beschädigt