hvarvid för första gång uppföres professor Hornemauns opera ” Aladdin ”.