已发行普通股总数的ALLREAL HOLDING AG-REG。