Category:Old High German proper nouns