Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol096-atmos2021/OASIcs.ATMOS.2021.1/OASIcs.ATMOS.2021.1.pdf.