Didn’t the Dutch government take control of China-own chip maker as well?