Jack and the beanstalk, or, Harlequin leap-year and the merry pranks of the good little people