Mention mostly editor related changes.

This commit also uses different chars for some German umlauts, I hope
this does not cause any trouble.