diff --git a/client/public/locales/de/translation.json b/client/public/locales/de/translation.json index 05127f4..7eab79f 100644 --- a/client/public/locales/de/translation.json +++ b/client/public/locales/de/translation.json @@ -62,7 +62,7 @@ "locked": "nicht verfügbar", "disabled": "gesperrt", "new": "neu", - "Not unlocked yet": "Not nicht verfügbar", + "Not unlocked yet": "Noch nicht verfügbar", "Not available in this level": "In diesem Level nicht verfügbar", "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "Eine Sammlung von Lernspielen für den Beweisassistenten <1>Lean (Lean 4) und dessen mathematische Bibliothek <5>mathlib", "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "Kein Spiel geladen. öffne <1>http://localhost:3000/#/g/local/FOLDER um ein Spiel direkt von einem lokalen Ordner zu laden.",