British rainfall: on the distribution of rain over the British Isles during the year 1880 …