On second-order optimality conditions for optimal control problems governed by the obstacle problem. (3rd October 2021)