Grotius (de Groot), Hugo - Feenstra, Robert 1920-2013 (2001)