My website has moved to http://www.ai.rug.nl/~mkvanvugt/