My homepage has moved to http://www2.tcs.ifi.lmu.de/~latte/.