Nederbörden under den 31 juli 00 millimeter .’