Lie-Ableitung
where formula_12 is the Lie derivative.