Porsche-IPO bringt 9,4 Milliarden Euro ein