” Kong Midas ” och Kristiania teater.