What are umlauts, the dots themselves or the letters with the dots?