wie lange dauert das musical aladdin