Ende des Hallenbadbetriebes