For a compilation of Killing field identities we refer to [
87
], Chap. 2.