Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume08/issue02/DagRep.8.2/DagRep.8.2.pdf.