{
  "Add new theme": "Neues Theme hinzufügen",
  "Close": "Schließen",
  "Compact": "Kompakt",
  "Compact dark": "Kompakt dunkel",
  "Create a brand new theme": "Ein völlig neues Theme erstellen",
  "Current": "Aktuell",
  "Dark": "Dunkel",
  "Dark theme": "Dunkles Theme",
  "Default": "Standard",
  "Default theme": "Standard-Theme",
  "Delete theme": "Theme löschen",
  "Deleted successfully": "Erfolgreich gelöscht",
  "Deletion is unrecoverable. Confirm deletion?": "Das Löschen ist nicht rückgängig zu machen. Löschen bestätigen?",
  "Edit": "Bearbeiten",
  "Edit based on current theme": "Basierend auf dem aktuellen Theme bearbeiten",
  "Edit theme": "Theme bearbeiten",
  "Edited successfully": "Erfolgreich bearbeitet",
  "Export": "Exportieren",
  "Initializing Editor...": "Editor wird initialisiert...",
  "Local": "Lokal",
  "Non-optional": "Nicht optional",
  "Optional": "Optional",
  "Please input the theme name": "Bitte geben Sie den Theme-Namen ein",
  "Please set a name for this theme": "Bitte legen Sie einen Namen für dieses Theme fest",
  "Save": "Speichern",
  "Save theme": "Theme speichern",
  "Saved successfully": "Erfolgreich gespeichert",
  "The theme of the JSON format is incorrect": "Das Format des JSON-Themes ist nicht korrekt",
  "Theme": "Theme",
  "Theme Editor": "Theme-Editor",
  "Theme editor": "Theme-Editor",
  "Themes": "Themes",
  "Updated successfully": "Erfolgreich aktualisiert",
  "User selectable": "Vom Benutzer auswählbar",
  "edit Theme Config": "Theme-Konfiguration bearbeiten"
}