för distriktsförvaltningen inom postvärket samt 7,000 kr.