VMWare

Nach dem Download und dem Entpacken sollten folgende Dateien vorliegen:
pintexx-workplace.ovf
pintexx-workplace-disk1.vmdk

In VMWare “Neue VM erstellen/registrieren”

Als Erstellungstyp “Eine virtuelle Maschine aus einer OVF…” auswählen

“Weiter”

Einen Namen für die VM eingeben und die beiden Dateien auswählen.

Dann immer auf “Weiter” und letztendlich auf Beenden.

Die VM sollte nun importiert und i.d.R. auch gestartet sein.