see http://www.tm.uka.de/ariba