4993 ) Rättens ombudsman.