The astronomy library in Utrecht