and Rund, and gauge invariance where the active diffeomorphism invariance is considered