Сколько бы стоила ASML, если бы она была американской компанией?