( 723 ) Rättens ombudsman.