My homepage moved to http://users.minet.uni-jena.de/~pohl/ .