Nederbörden under den 20 juli 6,3millimeter