Diese Berechnungen waren vom Congressional Budget Office, einer Art Bundesrechnungshof , geprüft worden.