Lie derivative
Für die Lie-Ableitung beziehungsweise Lie-Klammer gilt dann