Gar nicht mangelhaft ist es, dass man im Sommer dienstags und donnerstags morgens von 7 bis 8 im Ostbad zum Frühschwimmen gehen kann. Völlig ungestört von spring-, plansch- und badelustigen Besuchern kann man zu dieser Zeit einfach nur SCHWIMMEN. Das Angebot wird gut angenommen - danke an die Organisatoren!