Fanny: a selection of music from the musical