BCE comprou 517 milhões de euros de dívida pública em julho, acima dos meses anteriores