Och, ich war im Juni dort und zum Baden fand ichs ok. Der Rest ist eh klimatisiert.

Ok, ich geh aber auch erst ab 30°C Wassertemperatur schwimmen.