Tom Thumb
Music:
various
Lyrics:
various
Premiere:
1958