I had one of these pistols in .177 over 20 years ago, and lost it when a 'mate' stole it and I was unable to get it back. I remember I liked it a lot, but never really knew much about it, the manufacturer, the model, etc. I recall it had 'Made in West Germany' stamped on it. I'd love to get another one but wouldn't know where to start beyong posting in the Wanted section. Any info at all would be useful.