domare och är ordinarie tjensteman hos en administrativ myndighet,