Enclosures for Weak Solutions of Nonlinear Elliptic Boundary Value Problems