Summer Holiday: the musical [programme]