A television production of Douglas Moore's opera The Devil and Daniel Webster