1 files changed, 5 insertions, 4 deletions
diff --git a/po/de/boot-installer.po b/po/de/boot-installer.po
index 5045bfd66..15ce5f8fd 100644
--- a/po/de/boot-installer.po
+++ b/po/de/boot-installer.po
@@ -6,7 +6,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: d-i-manual_boot-installer\n"
 "Report-Msgid-Bugs-To: debian-boot@lists.debian.org\n"
-"POT-Creation-Date: 2019-06-18 23:08+0000\n"
+"POT-Creation-Date: 2019-08-06 20:58+0000\n"
 "PO-Revision-Date: 2019-06-30 10:17+0100\n"
 "Last-Translator: Holger Wansing <hwansing@mailbox.org>\n"
 "Language-Team: German <debian-l10n-german@lists.debian.org>\n"
@@ -1542,8 +1542,9 @@ msgid ""
 "Choosing the <quote>Help</quote> entry will result in the first help screen "
 "being displayed which gives an overview of all available help screens. To "
 "return to the boot menu after the help screens have been displayed, type "
-"'menu' at the boot prompt and press &enterkey;. All help screens have a boot "
-"prompt at which the boot command can be typed: <informalexample><screen>\n"
+"<quote>menu</quote> at the boot prompt and press &enterkey;. All help "
+"screens have a boot prompt at which the boot command can be typed: "
+"<informalexample><screen>\n"
 "Press F1 for the help index, or ENTER to boot:\n"
 "</screen></informalexample> At this boot prompt you can either just press "
 "&enterkey; to boot the installer with default options or enter a specific "
@@ -1555,7 +1556,7 @@ msgid ""
 msgstr ""
 "Der Menüeintrag <quote>Help</quote> bringt Sie zum ersten Hilfebildschirm, "
 "der eine Übersicht über die verfügbaren Hilfeseiten enthält. Um nach Anzeige "
-"der Hilfeseiten zum Boot-Menü zurückzukehren, tippen Sie »menu« am Boot-"
+"der Hilfeseiten zum Boot-Menü zurückzukehren, tippen Sie <quote>menu</quote> am Boot-"
 "Prompt ein und drücken &enterkey;. Alle Hilfeseiten haben einen Boot-Prompt, "
 "in dem das Boot-Kommando eingetippt werden kann: <informalexample><screen>\n"
 "Press F1 for the help index, or ENTER to boot:\n"