My homepage has moved to http://www.itkp.uni-bonn.de/~hammer/