Kaum zu glauben. So einfach. Nur der Gnome-Texteditor kann wieder mal nicht speichern.