The Twenty-Third day of our Holiday outing finds us enjoying a "panto"--( pantomime to Americans) at this time of year very popular theatr…