Hi Darius,
it is the amd64, but Linux > Debian 7x64 is not available ..., I have selected Version 5x64 it works.
I wonder if I have to buy the workstation 9 to have the correct selection available ..., I will not do this.
I have forgot to mention that I use workstation version 8.
Thank you!
Cheers
Jens