Theoretical and numerical aspects of shape optimization with Navier-Stokes flows - Lindemann, Florian (München, Techn. Univ., Diss., 2012, 2012)