och rättens ombudsman 6,000 kr.