La production industrielle allemande augmente en octobre