De pas gerestaureerde bibliotheek op het Ladeuzeplein