utsågos till ordinarie fil.