http://asv.informatik.uni-leipzig.de/mlsa/Diminisher

used by 0: