Allemagne: le PIB a progressé de 0,1% au deuxième trimestre, un peu plus qu'initialement annoncé