Double dot (diacritic)#History 2