tendentnrtjenstemän 12 , 000.