The Happiest Girl in the World — musical