Johann David Michaelis orientalische und exegetische Bibliothek - Michaelis, Johann David (1771)