``Gross domestic product shrank 5.1 percent from the fourth quarter of 2007 to the second quarter of 2009, compared with the previously reported 4.1 percent drop, the Commerce Department said today in Washington. The second-worst contraction in the post-World War II era was a 3.7 percent decline in 1957-58.''