Officiele correctie: Pinguin: nettowinst 9M EUR 5,562 mln (-0,15 mln)