stinfwww.informatik.uni-leipzig.de/~mam06btk/