gaf i måndags för första gången » Kong Midas » på Kristiania Tivoliteater.