( 9 ) Rättens ombudsman.