Marktoverzicht Euronext Brussel 13.10 uur: Punch +7,1%