statsministern i Kristiania till 8,000 kr.