http://www.informatik.uni-frankfurt.de/~mutz/