I have moved to Jena.

This page is no longer current.

You will be transferred (browser willing) to

http://www.informatik.uni-jena.de/~dittrich

which is the new location.