Dag Pjotr,
Nogmaals bedankt voor de perfecte tips. Eerste keer mislukte de grub installatie, maar ik was dit puntje vergeten:
2.2. Vervolgens plaatst u Windows Boot Manager (soms geheten: OS Boot Manager) blijvend onderaan in de opstartvolgorde van het UEFI.
Daar verliep het voorspoedig. Ik moest trouwens daarna in de BIOS nog wel opgeven welk OS eerst moest opstarten. Standaard startte direct windows 10 weer op. Misschien handig om toe te voegen, maar misschien verschilt dit per laptop. Bij mij gaat het om een HP.
Maarrruh... wat is dat windows 10 toch traaaaaaa ggaaaaaap .... g... zeker als je het vergelijkt met Ubuntu Mate 16.04. Lijkt wel een andere computer... en deze heeft toch 4 processorkernen.....
Dus mensen! Altijd goed de instructies van Pjotr volgen.... en geen stappen vergeten ;-)