vi förut berättat , tager afsked från Kristiania teaters orkester,