stationstjenstemän 7 , 000.