har låtit tillställa Kristiania teaters personal ett bidrag af 400 kr.