Informasi yang berkaitan dengan Grotius, Hugo