Das ging schneller als gedacht: Die Wartungsarbeiten in einer Dresdner Schwimmhalle sind schon beendet, weshalb der Betrieb bereits am Montag starten kann.