MichaelHortmann
Last edit October 2, 2004
http://www.informatik.uni-bremen.de/~michaelh
