Die Freibadsaison ist offiziell beendet.