Pointwise a posteriori error estimates for monotone semi-linear equations (Inst. für Mathematik, 2005)