--- a/resources/de.rs	Sun Apr 13 21:01:54 2014 +0200
+++ b/resources/de.rs	Mon Apr 14 11:24:18 2014 +0200
@@ -1,6 +1,6 @@
 #encoding utf8
 
-; $Header: /cvs/stx/stx/libtool/resources/de.rs,v 1.246 2014-03-18 09:56:50 cg Exp $
+; $Header: /cvs/stx/stx/libtool/resources/de.rs,v 1.247 2014-04-14 09:24:18 cg Exp $
 ;
 ; German Workspace (and other tools) resources
 ;
@@ -3365,11 +3365,8 @@
 'Syntax Coloring'                                       'Syntax farblich hervorheben'
 ; 'Immediate Selector Check'                              'Selektor unmittelbar prüfen'
 'immediate Selector Check'                              'Selektor bei der Eingabe prüfen'
-'Emphasis:'                                             'Hervorhebung'
 'Text Color:'                                           'Farbe von Text:'
-'Reset To:'                                             'Rücksetzen nach:'
 'Auto Format'                                           'Automatische Formatierung'
-'Sample Output:'                                        'Beispielausgabe'
 'Space around Temporaries'                              'Leerzeichen um Variablennamen'
 'Space after ''^'''                                     'Leerzeichen nach ''^'''
 'Space after ''['''                                     'Leerzeichen nach ''['''