Die Polizei teilte mit, 17 Menschen seien zur Behandlung in Krankenhäuser gebracht worden. Darunter sei ein schwer verletzter Feuerwehrmann.
Bei Bohrungen unter einem Bürgersteig war eine Gasleitung getroffen worden. Als Feuerwehrleute und der Energieversorger das Gasleck untersuchen wollten, kam es zu der Explosion.
dpa/sh
