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