Wie geht es weiter mit der Schwimmhalle in der Großen Diesdorfer Straße?