te Velde, Johan, Bibliotheek Rijksuniversiteit Groningen