流通股的Porsche Automobile Holding SE。