平均基本流通股数的INFICON HOLDING AG CHF5 (REGD)。