Nederbörden under den 31 juli 0 , o millimeter.