The making of a musical: Fiddler on the roof