FORMATION OF THE DOUBLE NEUTRON STAR SYSTEM PSR J1930–1852