Optimal control governed by a semilinear elliptic differential equation