moved to http://axes.informatik.uni-leipzig.de/~zerbst/

MfG

Andreas Zerbst