3980 ) Rättens ombudsman.