{
  "editor": {
    "title": "Datei bearbeiten",
    "save": "Speichern",
    "saving": "Speichern...",
    "saved": "Gespeichert",
    "modified": "Geändert",
    "unsaved_changes_confirm": "Es gibt ungespeicherte Änderungen. Verwerfen?",
    "save_error": "Speichern fehlgeschlagen: {{error}}",
    "line": "Zeile",
    "column": "Spalte",
    "encoding": "UTF-8",
    "readonly": "Nur lesen",
    "edit_mode": "Bearbeiten",
    "preview_mode": "Vorschau",
    "last_saved": "Gespeichert",
    "network_error": "Netzwerk getrennt, bitte Verbindung prüfen",
    "retry": "Wiederholen",
    "reconnecting": "Verbindung wird wiederhergestellt...",
    "connection_lost": "Verbindung verloren",
    "save_offline_warning": "Offline-Speichern nicht möglich",
    "encoding_detected": "Erkannte Kodierung: {{encoding}}"
  }
}
