The Office for National Statistics said UK gross domestic product grew by 0.1% between July and September.
