Europe's industrial output up in June