Eminent domain can apply to intellectual property. There is even plenty of US precedent for this in nearly the same circumstances. Then again their need for defensible IP is precisely why ASML would almost certainly never make the partnership you suggest.