An Operator Theoretical Approach to Preconditioning Optimality Systems