Aladdin , Andersen , från d:0 ; den 31 okt.