Tom and Jerry; or Life in London. An operatic extravaganza in three