Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany