平均基本流通股数的ALLREAL HOLDING AG CHF1。