Sluit de horeca in Europa Park ook op de sluitingstijd van het park?