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