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