Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol065-atmos2018/OASIcs.ATMOS.2018.4/OASIcs.ATMOS.2018.4.pdf.