Europe's industrial output slightly down in November