King of the gods, in Wagner's "Ring"