This page is deprecated, you will be redirected to http://www.info.uni-karlsruhe.de/~modula/index.php