Andreas, 

> Note that we had a few problems with the ftp server reporting that too
> many user have logged on so you may have to download the stuff from the
> my web site until this has been sorted out.
Right. I had problems downloading from that.

And, where are the VM sources?

Ciao, Reinier.