Bibliotheek van het Instituut "Jacob van Campen" ;