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