Michiel Hochstenbach has a new homepage:

http://www.win.tue.nl/~hochsten/

You will be automatically forwarded in a few seconds...