Industrieproduktion in Großbritannien stieg im Oktober leicht