http://www.mountaindogmedia.com/node/22
Howto convert vmdk to VDI/VHD