Title: Songs in the Comic Opera of Tom Thumb the Great