S. 716 ) Rättens ombudsman.