Nederbörden under den 17 juli 0 t millimeter.