Was the GDP in 2013 an increase or decrease over 2012's levels?