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