Im Schnitt bekommen die Beamten 7,32 Prozent mehr Lohn.