Encyclopædia Britannica, Ninth Edition/Grotius, Hugo