Klein aber wirklich okWir nutzten einen der beiden Pools (der dritte ist ein Kinderpool) meist nach unseren langen Tagestouren zum "Abkühlen". Bei viel Betrieb könnte es evtl. etwas eng werden am kühlen Nass. Hatten aber nie Platzprobleme Anfang Juli.