Efficient high-tech exports to China require support from development institutions