How would they obtain one? These kids of industrial machines come in pieces and need to be assembled, commissioned and maintained by OEM personnel. The only thing I can think of is ASML sold a machine to a compromised company who secretly shipped it to China without ASML knowing.