musical aladdin und die wunderlampe