wasn’t the first jukebox musical; it jump-started that genre to the point that today we’re surprised when a new show actually features original songs. “Mamma Mia!” — here I go again ...