This is a straight copy from http://www.informatik.uni-leipzig.de/~duc/amlich/