The Flying Dutchman (Der Fliegende Hollaender) (Fred Rullman Series of Grand Opera Libretti)