tjenstgörande i hofrätten äro upptagne 18 vice häradshöfdingar med enmedelålder