PDE-Constrained Optimisation in Hilbert Spaces