United Kingdom: Revised GDP down in 3rd quarter