This site moved to
http://kbsg.rwth-aachen.de/~schiffer/