The US says one of ASML’s top chip tools is in China. ASML says it isn’t.