Aangepaste (zomer)openingstijden Servicedesk KOG 12 juli 2023 Gedurende de zomermaanden is de Servicedesk van 17 juli t/m 11 augustus 2023 geopend tot 14.30 uur in plaats van 17.00 uur. Vanaf 14 augustus 2023 gelden weer de reguliere openingstijden.