den nya teatern i Kristiania har anslagit en summa af 4,000 kr.