The Little Mermaid, a family pantomime