add german translations

client/public/locales/de/translation.json

@@ -9,21 +9,21 @@
   "relaxed": "relaxed",
   "none": "keine",
   "Rules": "Regeln",
-  "Intro": "",
-  "Game Introduction": "",
-  "World selection": "",
+  "Intro": "Inführung",
+  "Game Introduction": "Spieleinführung",
+  "World selection": "Weltenauswahl",
   "Start": "Start",
   "Inventory": "Inventar",
   "next level": "nächstes Level",
-  "Next": "",
-  "back to world selection": "",
+  "Next": "Weiter",
+  "back to world selection": "Zurück zur Weltenauswahl",
   "Leave World": "Welt verlassen",
-  "previous level": "",
-  "Previous": "",
-  "Editor mode is enforced!": "",
+  "previous level": "voheriges Level",
+  "Previous": "Zurück",
+  "Editor mode is enforced!": "Editor kann nicht verlassen werden!",
   "Editor mode": "Editor",
   "Typewriter mode": "Schreibmaschine",
-  "information, Impressum, privacy policy": "",
+  "information, Impressum, privacy policy": "Informationen, Impressum, Privacy Policy",
   "Preferences": "Einstellungen",
   "Game Info & Credits": "Spielinfo & Credits",
   "Game Info": "Spielinfo",
@@ -46,8 +46,8 @@
   "Further Goals": "Weitere Goals",
   "No Goals": "Keine Goals",
   "Loading goal…": "Goal wird geladen…",
-  "Click somewhere in the Lean file to enable the infoview.": "",
-  "Waiting for Lean server to start…": "",
+  "Click somewhere in the Lean file to enable the infoview.": "Ein Klick in den Lean-Code aktiviert den Infoview.",
+  "Waiting for Lean server to start…": "Warte auf das Starten des Lean-Servers…",
   "Level completed! 🎉": "Level gelöst! 🎉",
   "Level completed with warnings 🎭": "Level mit Warnungen abgeschlossen 🎭",
   "Retry proof from here": "Von hier erneut probieren",
@@ -73,9 +73,9 @@
   "Worlds": "Welten",
   "Levels": "Levels",
   "Language": "Sprachen",
-  "Development notes": "",
-  "Adding new games": "",
-  "Funding": "",
+  "Development notes": "Entwicklungshinweis",
+  "Adding new games": "Neue Spiele hinzufügen",
+  "Funding": "Finanzierung",
   "<p>Do you want to delete your saved progress irreversibly?</p><p>(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)</p>": "<p>Soll der Spielstand unwiderruflich gelöscht werden?</p><p>(Dies löscht sämtliche Beweise und das gesammelte Inventar. Spielstände anderer Spiele werden nicht gelöscht.)</p>",
   "Delete Progress?": "Spielstand löschen?",
   "Delete": "Löschen",

client/src/config.json

@@ -21,7 +21,7 @@
     {
       "iso": "zh",
       "flag": "CN",
-      "name": "中国人"
+      "name": "中国话"
     }
   ]
 }