No, I'm not aware of that particular instance of a reduction in FTEs. What we've seen over time is that the number of FTEs has in fact increased. Personnel spending has also increased.
There are obviously isolated cases of reductions in FTEs in specific programs or sectors. However, overall, the size of the public service has consistently increased over time.