Richard Wagners opera »Den