--- a/resources/de.rs Sat Sep 03 19:09:47 2016 +0200
+++ b/resources/de.rs Tue Sep 06 19:41:37 2016 +0200
@@ -2202,6 +2202,8 @@
'Save the editor''s contents into the file' 'Inhalt des Editors in Originaldatei sichern'
'Save the page''s contents in the original file' 'Den Seiteninhalt in der Originaldatei sichern'
'Save the settings into your private settings file' 'Einstellungen in Ihrer privaten Settings-Datei speichern'
+'Save to File' 'Sichern in Datei'
+'Remove Settings File' 'Datei löschen'
'Save to End In' 'Sichern bis Ende in'
'Save to End in' 'Sichern bis Ende in'
'Saveback ChangeSet' 'Zurückschreiben (in ChangeSet)'