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