» Aladdin » , Hornemanns länge bebådade sagoopera , gafsi