Hugo de Groot in de Koninklijke Bibliotheek, 25 juli - 1 september 1983