följd häraf utbytas mot tingsrätt och namnet häradshöfding mot domare.