Fellow air-cooled drivers,

I need to replace the muffler on my '74 Super. I replaced my muffler 10
years ago and installed a German one. Now the German mufflers are no
longer available. I don't want to buy a Brazilian muffler. I only want
to buy a Dansk muffler. Are the Brazilian and Dansk mufflers stamped
with the manufacturers name or country of origin?