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