§ Lie derivative versus covariant derivative