US GDP grew by 4.1% in the second quarter, according to a fairly wild guess by statisticians