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