Ireland's pre‐1940 daily rainfall records. (16th August 2020)