Prijzen industrie in oktober 0,8% gestegen