The GDP peaked in 1980 at what amount