DOGE hat wirklich die Bundesarbeitskräfte gekürzt.