Das würde mir schon weiter helfen.
Aber ich komme - mit oder ohne USB-Stick -
(Tuxedo empfiehlt, bereits vor dem Einschalten des Computers
den USB-Stick einzustecken)
nur bis zum Menu.
Dort habe ich nur die Wahl zwischen SSD oder einer
Netzwerkadresse, die aber auch nicht weiter führt.
Boot-Optionen kann ich gar nicht anwählen.
Da muss wohl der Hersteller (Lieferant) ran.
Hoffentlich ist die SSD durch die vielen Operationen kaputt.
Aber Dank für den Hinweis.