„Keine Feiertagspause“: Diese Devise gilt an Christi Himmelfahrt im Badehaus. Wer also am Donnerstag, 29. Mai, Bewegung und Entspannung kombinieren möchte, ist im Schwimmbadbereich ab 10 Uhr willkommen. Kassenschluss ist um 16 Uhr. Um 16.45 Uhr heißt es: „Bitte die Becken verlassen, denn wir schließen in 15 Minuten.“