Benner, P., & Trautwein, C. (in preparation). A Stochastic Maximum Principle for Control Problems Constrained by the Stochastic Navier-Stokes Equations.