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