The Van Hoorne production of the Cinderella musical.