Redirecting to https://drops.dagstuhl.de/storage/04dagstuhl-reports/volume02/issue12/12492/DagRep.2.12.17/DagRep.2.12.17.pdf.