The Office for National Statistics was publishing the latest gross domestic product figures on Thursday.