E.U. Exports Millions of Covid Vaccine Doses Despite Supply Crunch at Home