Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume01/issue06/DagRep.1.6/DagRep.1.6.pdf.