Hugonis Grotii Annotationes in Novum Testamentum. Emendatius ed. [by P. Hofstede de Groot]