Hallo, sind der Außen- und der Rutschenpool Ende Oktober, Anfang November beheizt? Wir verreisen mit 3 Kindern!