GRUB Konfigurieren - So änderst Du das Startmenü von Linux - Tutorial für Anfänger mit Erklärung