{ "empty": "Noch kein Diagramm.", "editButton": "Diagramm im Vollbild bearbeiten", "createButton": "Diagramm erstellen", "loading": "draw.io wird geladen …", "saved": "Gespeichert — „Fertig“ schließt den Bearbeiten-Modus.", "renderHint": "Zum Bearbeiten in den Bearbeiten-Modus der Seite wechseln." }