was of course his - btw, Wagner was also the guy who thought up horns (terribly impractical) on viking helmets - or perhaps it was some costumes guy who worked on one of his operas, but either way.. ).