Holger am 22. August 2023

Hallo,
wir reisen im Oktober. Wie sieht das mit dem Pool aus? Sind diese beheizt?