793 ) Rättens ombudsman.