I think the U.S. did declare war on Germany. Perhaps, I will look that up if I get a chance today.