Vergezeld van een aantal flinke krakers werd er 15 mm gedumpt. Top! Dit smaakt naar meer. En met deze bui is juli de 100 mm (eindelijk) voorbij.