Nederbörden under den 12 juli o , i millimeter.