{ "file": "Datei", "new": "Neu", "open": "Oeffnen", "exit": "Beenden", "langs": "Sprachen", "add": "Erstellen", "obj": "Objekt", "script": "Skript", "rename": "Umbenennen", "delete": "Loeschen", "NN": "Neuer Name:", "save": "Speichern", "attribute": "Attribut", "attribute-val": "Wert", "newval": "Neuen Wert eingeben", "error": "Fehler", "SCE": "Länge des neuen Wertes muss 1 sein!", "true": "Wahr", "false": "Falsch", "objs": "Objekte", }