Richard Wagner through the eyes of Thomas Mann