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