Hugo de Groot. Tooneelspel.