Rain in Amsterdam: 1929 vs. 2017