Erst sanieren, dann kassieren: In der Schwimmhalle Diesdorf wird es teuer