updated German translation for "shown?" and "pen down?"

HISTORY.md

@@ -88,6 +88,7 @@
 ### 2019-06-01
 * Objects: new "pen down?" predicate
 * Objects: new "shown?" predicate
+* updated German translation for "shown?" and "pen down?"
 
 ### 2019-05-31
 * Threads: optimized FOREACH performance for large linked lists

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-05-31', // this, too, will appear in the Translators tab
+        '2019-06-01', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:
@@ -373,6 +373,8 @@ SnapTranslator.dict.de = {
         'anzeigen',
     'hide':
         'verstecken',
+    'shown?':
+        'angezeigt?',
     'go to %layer layer':
         'gehe nach %layer',
     'front':
@@ -457,6 +459,8 @@ SnapTranslator.dict.de = {
         'Stift runter',
     'pen up':
         'Stift hoch',
+    'pen down?':
+        'Stift unten?',
     'set pen color to %clr':
         'setze Stiftfarbe auf %clr',
     'set background color to %clr':

snap.html

@@ -20,7 +20,7 @@
         <script type="text/javascript" src="src/maps.js?version=2019-05-31"></script>
         <script type="text/javascript" src="src/xml.js?version=2018-11-12"></script>
         <script type="text/javascript" src="src/store.js?version=2019-04-04"></script>
-        <script type="text/javascript" src="src/locale.js?version=2019-05-31"></script>
+        <script type="text/javascript" src="src/locale.js?version=2019-06-01"></script>
         <script type="text/javascript" src="src/cloud.js?version=2019-04-25"></script>
         <script type="text/javascript" src="src/sha512.js?version=2018-10-02"></script>
         <script type="text/javascript" src="src/FileSaver.min.js?version=2018-10-02"></script>

src/locale.js

@@ -42,7 +42,7 @@
 
 /*global modules, contains*/
 
-modules.locale = '2019-May-31';
+modules.locale = '2019-June-01';
 
 // Global stuff
 
@@ -160,7 +160,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org, jadga.huegle@sap.com',
     'last_changed':
-        '2019-05-31'
+        '2019-06-01'
 };
 
 SnapTranslator.dict.it = {