http://www.informatik.uni-bremen.de/~grosse