sitt ärliga bidrag till Kristiania teater med 3,200 kr. , hwarigenom det kongl , bidraget i sin helhet kommer att utgä med 8,000 kr.