csökken vagy nő az állami dolgozók száma?