Kristiania teater till 8,000 kr.,