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