The DUX-53 and DUX-59 were submachine guns designed at the Oviedo Arsenal in which country, a large number of these weapons were produced for the West German Border Guard, and was later licensed to be produced by Anschütz and Mauser, a German arms manufacturer?