Gravar-mail: Extendability of proper holomorphic mappings and global analytic hypoellipticity of the ∂̄-Neumann problem