The M1935A wasn't exactly manufactured for the Germans, but more that the Germans captured the factory and continued to manufacture them. The first pistols had the Mauser E/655 acceptance stamp, but this was changed to the WaA251. It became the GermanP625f.