Den erhållna nederbörden utgjorde 9,4 millimeter,