23:00:00 07:30:00 2026-07-01T00:00:00+02:00 2026-08-31T00:00:00+02:00 Catering service from 11.45 a.m. to 3.30 p.m. and from 6.30 p.m. to 11 p.m. Service restauration de 11h45 à 15h30 et de 18h30 à 23h Cateringservice van 11.45 tot 15.30 uur en van 18.30 tot 23.00 uur Servizio di catering dalle 11.45 alle 15.30 e dalle 18.30 alle 23.00 Servicio de catering de 11.45 a 15.30 y de 18.30 a 23.00 horas Restaurantservice von 11:45 bis 15:30 Uhr und von 18:30 bis 23:00 Uhr