Koch-Schwimmhalle soll Biedermann-Schwimmhalle werden