平均基本流通股数的COVIVIO HOTELS EUR4。