Doornroosje, De Musical