‘Miracle on 34th Street’ was a musical, too