Title: Tom Thumb, (The tragedy of tragedies, or The life and death of Tom Thumb, the Great.)