Japanische Industrieproduktion im Oktober leicht gestiegen