Der fliegende Holländer (The Flying Dutchman): Overture