Institut fuer Informatik Universitaet Leipzig