Stav dette: Finite element approximation of the Navier-Stokes equations