skulle arkivariens lön komma att utgå med 6,400 kr.