“…where Q denotes a mass matrix and K a stiffness matrix, and with x 1 , x 2 corresponding to the discretizations of u, f . Poisson control problems of this type have been considered from both the infinite-dimensional [52,55,167,174,336] and finite-dimensional [281,335,337,338] points of view. In particular by viewing the problem on the infinite-dimensional level, for instance by considering nonstandard norms, and then discretizing the resulting infinite-dimensional interpretation of the preconditioner, one may arrive at the optimal preconditioner [52,55]:…”