Mark indicating changed vowel value in German