kungssången , spelad af Kristiania teaters orkester.