Porsche IPO: Volkswagen takes 9.1 billion