Unser git-Repositorium verwendet jetzt ausschließlich UTF-8-Kodierung;
ich habe alle betroffenen Dateien konvertiert – bitte kontrollieren.
Eine Ausnahme gibt es, da ich mich mit »awk« nicht auskenne: Stephan,
bitte aktualisiere die Datei »tr2lpeg.awk«.
Werner