US-Konsum zieht im Oktober nur leicht an