流通股的PORSCHE AUTOMOBIL HOLDING SE。