Feestelijke opening bibliotheek IKC de Kerneel