Die Gasleitung war bei Bauarbeiten beschädigt worden. Versuche, das Rohr abzudichten, blieben bisher ohne Erfolg. Spezialisten der Betreibergesellschaft verminderten den Druck in der Leitung, so dass keine akute Explosionsgefahr besteht. Die Reparaturarbeiten werden voraussichtlich erst im Laufe des Nachmittags beendet sein. Bis dahin bleibt die betroffene Umgebung im Stadtzentrum abgesperrt.
vrt/jp
