http://omnibus.ruf.uni-freiburg.de/~gritter/