An animated adaptation of "The Devil and Tom Walker" by Washington Irving