http://www2.informatik.uni-muenchen.de/dolina/