'Old High German' definitions:

Definition of 'Old High German'

(from WordNet)
noun
High German prior to 1200