Title: A digital data recorder and transfer device for the Marconi 722B satellite navigation receiver