4147 ) Rättens ombudsman.