wie lange geht das musical aladdin