Sophisticated and expensive machinery used to make semiconductors, more widely-known as "chip-making tools", are in the news again, amid talks where the...