Sir Thomas Thumb, or The wonderful adventures of a fairy knight. [With