A review of a production of Mamma Mia