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