kommer således att försiggå angående häradshöfdingarnes pensionsrätt.