Nederbörden under den 13 juli O o millimeter.