Title: A handbook on Old High German literature