Category:Old High German terms with non-redundant non-automated sortkeys