Feynman-weight de Donder gauge fixing

Accordingly ${\mathfrak{g}}_p$ acts on classical backgrounds in the calculation below. It is not asserted to act as a nontrivial residual gauge algebra of the free graviton. The gauge-fixed action itself is not promoted to the exact plateau-invariant action of Proposition prop:covariance.