GROTIUS, Hugo