Das werde ich auf jeden Fall im Auge behalten, danke für den Tipp.
Mein erster Installationsversuch für Linux läuft jetzt seit gefühlten 50 Stunden. Keine Ahnung, was da so lange dauert. Grafik und Darstellung kann ja einiges ausmachen.
Mal sehen.