Wegen einer versehentlich beschädigten Gasleitung ist das Schwimmbad in Dieburg am Donnerstag vorsorglich geräumt worden.

Ein Polizeisprecher sagte, die Feuerwehr habe etwa 15 Menschen ins Freie gebracht, nachdem ein Bagger eine Gasleitung beschädigt und es nach Gas gerochen habe. Verletzte gab es demnach nicht.