updated German translation for new "random" drop-down options

lang-de.js

@@ -185,7 +185,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org', // optional
     'last_changed':
-        '2018-03-03', // this, too, will appear in the Translators tab
+        '2018-03-09', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:
@@ -1281,6 +1281,10 @@ SnapTranslator.dict.de = {
         '(0) oben',
     '(180) down':
         '(180) unten',
+    'random':
+    	'zufällig',
+     'random position':
+     	'zufällige Position',
 
     // collision detection
     'mouse-pointer':

locale.js

@@ -42,7 +42,7 @@
 
 /*global modules, contains*/
 
-modules.locale = '2018-March-05';
+modules.locale = '2018-March-09';
 
 // Global stuff
 
@@ -160,7 +160,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org',
     'last_changed':
-        '2018-03-03'
+        '2018-03-09'
 };
 
 SnapTranslator.dict.it = {