Lie-Ableitung
Pullback and Lie derivative.