A hybridizable discontinuous Galerkin method for the Navier-Stokes equations with pointwise divergence-free velocity field.