Gibt es im November einen beheizten Aussenpool?