gäller ock hofrätternas presidenter och öfriga chefer för de till justitie-departementet hörande centralaembetsverken