About ten years ago I acquired a double with the name "E Dotter Mainz" stamped on the barrel, but that is about all the information I have. I am finding very little information on E Dotter Mainz. Anyone have any idea what this is? Any help would be appreciated.