PC Magazin Die Optionen des Bootmanagers Grub 2017-03-03 - Die Optionen für das Grub-Bootmenü stehen in in der Datei