My home page has moved to:
http://www.cs.wisc.edu/~dieter
You will be taken there shortly.