Grotius as Legal, Political and Diplomatic Official in the Dutch Republic