What are umlauts, the dots themselves or the letters with the dots? | Hacker News Reader