A Double Magnetic Spectrometer for the Study of Hypernuclei Production by K- in Flight