Der ausgelagerte Menuebefehl "Optionen speichern" ist eigentlich überflüssig, wenn man bei "Optionen einstellen" das Konfigurationsfeld mit einem "Speichern-Button" ergänzt. Ist doch sinnvoller und einfacher so.
