Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Department of Computer Science