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