Title: Tom Thumb, a burlesque opera