Meine Homepage befindet sich unter http://www-pi.informatik.uni-siegen.de/berten/