Klaus Bothe, Michael Ritzschke, Humboldt University Berlin, Institute of Informatics, D-10099 Berlin bothe@informatik.hu-berlin.de ritzschk@informatik.hu-berlin.de