„Mamma Mia!“ Das Musical