Ist Ende Oktober noch „Hauptsaison“ (inklusive entsprechendem Unterhaltungsprogramm)?Sind Pools dann beheizt?