German translation update

HISTORY.md

@@ -81,6 +81,7 @@
 * Blocks: reverted reordering MY block dropdown by data type - back to similarities
 * Blocks: added "compile / un-compile" options to HOF-prims
 * Objects: added relabelling options for HOF-prims
+* German translation update
 
 ### 2019-05-02
 * Blocks: reordered MY block dropdown by data type

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-02', // this, too, will appear in the Translators tab
+        '2019-05-03', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:
@@ -1104,6 +1104,10 @@ SnapTranslator.dict.de = {
         'Hilfe...',
     'relabel...':
         'Umbenennen...',
+    'compile':
+        'Kompilieren',
+    'uncompile':
+        'Entkompilieren',
     'duplicate':
         'Duplizieren',
     'make a copy\nand pick it up':

snap.html

@@ -18,7 +18,7 @@
         <script type="text/javascript" src="src/sketch.js?version=2019-02-22"></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-02"></script>
+        <script type="text/javascript" src="src/locale.js?version=2019-05-03"></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-02';
+modules.locale = '2019-May-03';
 
 // Global stuff
 
@@ -160,7 +160,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org, jadga.huegle@sap.com',
     'last_changed':
-        '2019-05-02'
+        '2019-05-03'
 };
 
 SnapTranslator.dict.it = {