Då Kung Midas uppfördes iKristiania