Marktoverzicht Euronext Brussel 13.20 uur: Duitse industriele productie zorgt voor winst