benämnd » Aladdin » af danske tonsättaren G . F. E. Hornemann.