Text this: The old high German diphthongization;