Also Juli wäre mir viel zu früh, die meisten Restaurants und Geschäfte sind sicher noch länger zu. Und ob die Pools und öffentlichen Bereiche in den Hotels schon geöffnet haben, ist fraglich. Außerdem wird es wahrscheinlich noch Maskenpflicht sein.