Yes, so TSMC is buying the machines, and they are based in Taiwan. This is not about the physical location of the machines.

Most of their fabs are also in Taiwan.

	▲	baobabKoodaa 7 hours ago \| parent [-]
		The claim in OP is that "ASML currently sells no chipmaking machines in Europe". A single chipmaking machine purchase into a fab in Europe would be enough to prove that claim wrong. The number of fabs in Taiwan is irrelevant to this claim.