justitiestatsexpeditionen anginge , så vore 7500 kr.