Title: Codex juris gentium diplomaticus ..