öfvervar konungen föreställningen å Kristiania teater.