VMWare
After downloading and unpacking, the following files should be available:
pintexx-workplace.ovf
pintexx-workplace-disk1.vmdk
In VMWare “Create/register new VM”
Select “A virtual machine from an OVF…” as the creation type
“Next”
Enter a name for the VM and select the two files.
Then always click on “Next” and finally on Exit.
The VM should now be imported and usually also started