Richard Wagners “Fliegender Holländer“ wird in Dresden neu inszeniert.