en minskning af den ständigt tilltagande embetsmannapersonalen.