Nederbörden under den 17 juli 0 , o millimeter.