Etwa 15 Schwimmbad-Besucher konnten sich rechtzeitig und unbeschadet ins Freie retten, teilte die Polizei mit. Der Großalarm wurde wegen einer plötzlichen Rauchentwicklung ausgelöst. Die Ursache dafür ist noch völlig unklar. Die Ermittlungen dauern an.
lrs/mh
