Gewijzigde openingstijden restaurants tijdens de feestdagen

dinsdag 18 december 2018 16:00

De restaurants in gebouwen 1 en 2 en de coffee corner in gebouw 1 hebben tijdens de feestdagen gewijzigde openingstijden.