That is a superb find and brings back memories of an identical gun I shot on a range in Germany back in the early 80's. I can't remember all the details but it had an aged patina about it compared with yours. It was in perfect order and was a very nice balanced gun, easy to shoot and seemed to group quite well. I don't recall what ammo we were using but likely would have been the 215gr cartridge.