Title: The opera of operas, or, Tom Thumb the Great