Ende der Freibadsaison in Kreisbädern