German industrial output jumps in October on booming car sales