The whole re-import vs return to the US Dept of Defense issue is complex and confusing.
There is some very germane info buried on the CMP site. My net-kwondo is weak -- I can't get a direct link to work. So:
www.thecmp.org
Click on: M1 Carbine ( under Rifle Sales ).
Scroll down past: ** " Bavaria Marked Carbines " ** and further to just under the picture of the reciever marked " Bavaria Rural Police ".
Click on the link under: " Further information in regards to the history..."
Go to: Export/Import.
Then covet the deals from the 1960's. And the 1970's.
And learn about the 1993 imports of M1 Carbines. Over 7,000 M1 Carbines made it back during the 1990's.