Tjänstledig t. f. domare.