” Kong Midas ” på Tivoliteatern f Kristiania.