Pedantic point, Peter, but I seem to recall that Germany declared war on the US – not the other way round.