10 juni 2023: Begin van de kerstvakantie

(Geen extra info beschikbaar)