סך המניות בידי הציבור של Porsche AG Vz.