kommit under juli mänad , icke mindre än 142,7 millimeter.