Gregor's Home Page
I have moved to:
http://www.informatik.hu-berlin.de/~zeitling