Institut für Informatik / Fakultät für Mathematik und Informatik / Universitä Leipzig