Gravar-mail: Fermi pockets and quantum oscillations of the Hall coefficient in high-temperature superconductors