rättens ombudsman , erhöll 9 kr.