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