Adresse Universität LeipzigFakultät für Mathematik und InformatikInstitut für Informatik Postfach 100920 04009 Leipzig