Heavy rainfall in Germany (the Harz) 25 July 2017