kommunalbidrag till Kristiania teater.