Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume08/issue10/18442/DagRep.8.10.148/DagRep.8.10.148.pdf.