Aussenhandel: Exporte im Oktober deutlich gestiegen