Massive deformations of rank-2 symmetric tensor theory (a.k.a. BRS characterization of Fierz–Pauli massive gravity)