added ersetze_umlaute.py