Definitions of dieresis:

• noun:   a diacritical mark (two dots) placed over a vowel in German to indicate a change in sound