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