Der Netzbetreiber hatte den Gasaustritt am Vormittag gestoppt, nachdem das Rohr am Freitag bei Erdarbeiten beschädigt worden war.