Seol mar théacs é seo: Johann David Michaelis' Übersetzung des Alten Testaments