All Cruz needs to do is release his FS-240 form.
My husband was stationed 3 different times in Germany. The first time from December 1961 to September 1966. The second time from September 1968 to December 1970 and the third time from August 1977 to May 31, 1979, I became a naturalized US Citizen on June 12, 1977 in Junction City KS.