Allemagne : nouvelle hausse de la production industrielle en novembre