Nederbörden under den 20 juli l , o millimeter.