sitt bidrag till Kristiania teater till 8 000 kr.,