Würde es auch besser finden, wenn täglich ab 7 Uhr geöffnet wäre, zumindest in der Hochsaison (Juli/August), um morgens in Ruhe schwimmen zu können.