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