wo spielt das musical aladdin