The Devil and Daniel Webster opera in one act