adusted German translation to new HOF names

locale/lang-de.js

@@ -185,7 +185,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org, jadga.huegle@sap.com', // optional
     'last_changed':
-        '2019-06-01', // this, too, will appear in the Translators tab
+        '2019-06-24', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:
@@ -789,17 +789,17 @@ SnapTranslator.dict.de = {
         'ist %l leer?',
     'map %repRing over %l':
         'wende %repRing an auf %l',
-    'keep items such that %predRing from %l':
+    'keep items %predRing from %l':
         'behalte Elemente, die %predRing aus %l',
-    'find first item such that %predRing in %l':
+    'find first item %predRing in %l':
         'finde das erste Element, das %predRing in %l',
     'combine with %repRing items of %l':
         'kombiniere mit %repRing die Elemente von %l',
     '%blitz map %repRing over %l':
         '%blitz wende %repRing an auf %l',
-    '%blitz keep items such that %predRing from %l':
+    '%blitz keep items %predRing from %l':
         '%blitz behalte Elemente, die %predRing aus %l',
-    '%blitz find first item such that %predRing in %l':
+    '%blitz find first item %predRing in %l':
         '%blitz finde das erste Element, das %predRing in %l',
     '%blitz combine with %repRing items of %l':
         '%blitz kombiniere mit %repRing die Elemente von %l',

src/locale.js

@@ -160,7 +160,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org, jadga.huegle@sap.com',
     'last_changed':
-        '2019-06-01'
+        '2019-06-24'
 };
 
 SnapTranslator.dict.it = {