6 Covariant Density Functional Theory and Applications to Finite Nuclei