( 724 ) Rättens ombudsman.