i tjenstemännens löner med 8,500 kronor.