Richard Wagner: Der fliegender Holländer [The Flying Dutchman]