Peter Hertling does not work anymore at the FernUniversität in Hagen. The new WWW address is:

http://www.informatik.uni-duisburg.de/AGHertling/index.html