Öffnungszeiten international Pool

Kann mir vielleicht jemand sagen, wann der international Pool geöffnet hat? An manchen Tagen macht der doch mittags zu. Wir reisen Montag gegen Mittag an und ich würd gern wissen, ob der dann offen hat oder gerade Pause macht. Danke 🌼