The UK economy slumped by 0.1% in October