Nederbörden under den 9 juli o.t millimeter.