Seol mar théacs é seo: The old high German diphthongization;