Gasleitung bei Bauarbeiten beschädigt - Reparatur dauert an