Tilde entfernen / ersetzen

Tilde entfernen / ersetzen