Jetzt habe ich mir noch VMWare Player heruntergeladen.
Mit
https://www.modern.ie/de-de/virtualization-tools stehe ich an, das heruntergeladene ZIP-File enthält eine Datei namens "IE11 - Win10.ova" - mit der weder ich (das wäre noch nicht so schlimm) noch Virtualbox (das ist das eigentlich Lästige) etwas anfangen können
edit:
VMWare Player scheint zu funktionieren, jedenfalls installiert er jetzt das Windows vom ISO Image - So weit bin ich bis jetzt mit keiner anderen Virtualisierungssoftware gekommen.