Das FBI hat übrigens ein Budget von 10 Milliarden Dollar.