  On a projective variety defined over a global field, any Brauer--Manin
obstruction to the existence of rational points is captured by a finite
subgroup of the Brauer group. We show that this subgroup can require
arbitrarily many generators.
