Wagners opera » Bienzi ».