Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume05/issue06/15261/DagRep.5.6.70/DagRep.5.6.70.pdf.