till Kristiania teaters orkester 10,000 kronor.