Nederbörd under den 12 juli O , o millimeter,