Category:Old High German terms with redundant head parameter