Gravar-mail: Convergence and quasi-optimality of adaptive FEM with inhomogeneous Dirichlet data()