I'm not sure regarding the rules and when they changed.
I assume in much the same way as some L42's went off to the US and had to be re-imported. Certainly these days, all government furnished firearms are either destroyed, or end up shooting at Orcs in the Ukraine as part of an aid package.