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