平均基本流通股数的Porsche Automobil Holding SE。