länsmannen Svenonius en ersättning af 5,000 kr.