Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol075-atmos2019/OASIcs.ATMOS.2019.9/OASIcs.ATMOS.2019.9.pdf.