diff --git a/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/german-string-constants.rkt b/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/german-string-constants.rkt index 12fd78f167..1f749eb95d 100644 --- a/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/german-string-constants.rkt +++ b/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/german-string-constants.rkt @@ -353,6 +353,9 @@ (install-plt-file-tab "Datei") (install-plt-filename "Dateiname:") (install-plt-url "URL:") + ; an error message from a primitive operation is appended to the end of this message. + (install-plt-error-downloading "Beim Herunterladen der" + " .plt-Datei ist ein Fehler aufgetreten.\n\nDetails:\n") (install-plt-error-header "Beim Überprüfen der heruntergeladenen .plt-Datei ist ein Fehler aufgetreten. Bitte überprüfen Sie die URL und versuchen Sie es noch einmal.") (install-plt-file "~a installieren oder editieren?")