Florodora: a musical comedy