I did a bit more research and found that after WW2 West Germans couldn't own guns until 1956. Their proof house reopened in 1952 and several gunmakers were operating by then. This all suggests that guns then (like mine) were made for export.