updated German translation

HISTORY.md

@@ -12,6 +12,7 @@
 
 ### 2019-12-03
 * objects, blocks, threads, gui: added "log pen vectors" session setting
+* updated German translation
 
 ### 2019-12-02
 * new dev version

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-12-02', // this, too, will appear in the Translators tab
+        '2019-12-03', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:
@@ -707,6 +707,8 @@ SnapTranslator.dict.de = {
         'Stapelgr\u00f6\u00dfe',
     'frames':
         'Rahmenz\u00e4hler',
+    'log pen vectors':
+        'Vektoraufzeichnung',
 
     // operators:
     '%n mod %n':
@@ -1112,6 +1114,13 @@ SnapTranslator.dict.de = {
         'Ternäre Bool\'sche Inputs',
     'Inheritance support':
         'Prototypische Vererbung',
+    'Log pen vectors':
+        'Malstiftvektoren aufzeichnen',
+    'uncheck to turn off\nlogging pen vectors':
+        'ausschalten, um Malstiftbewegungen\nnicht mehr aufzuzeichnen',
+    'check to turn on\nlogging pen vectors':
+        'einschalten, um Malstiftbewegungen\nals Vektor aufzuzeichnen',
+
 
     // inputs
     'with inputs':

snap.html

@@ -20,7 +20,7 @@
         <script type="text/javascript" src="src/maps.js?version=2019-10-28"></script>
         <script type="text/javascript" src="src/xml.js?version=2019-06-27"></script>
         <script type="text/javascript" src="src/store.js?version=2019-08-08"></script>
-        <script type="text/javascript" src="src/locale.js?version=2019-12-02"></script>
+        <script type="text/javascript" src="src/locale.js?version=2019-12-03"></script>
         <script type="text/javascript" src="src/cloud.js?version=2019-10-09"></script>
         <script type="text/javascript" src="src/sha512.js?version=2019-06-27"></script>
         <script type="text/javascript" src="src/FileSaver.min.js?version=2019-06-27"></script>

src/locale.js

@@ -164,7 +164,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org, jadga.huegle@sap.com',
     'last_changed':
-        '2019-12-02'
+        '2019-12-03'
 };
 
 SnapTranslator.dict.it = {