Richard Wagner. Die Walküre. Libretto