AFAIK the high end chips are made in Taiwan, that's not the same. Also there was an export control, so ASML couldn't sell the latest equipment to China.