Hugonis Grotii Annotationes in Vetus & Novum Testamentum juxta editionem Amstelaedamensem, MDCLXXIX, in compendium redactae