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