Aktivita ve výrobě v eurozóně (PMI) za říjen revidována výš na 53,5 b.