Nederbörden under den 9 maj o o millimeter.