An elementary Old High German grammar, descriptive and comparative