Germany's exports up 4.2% year-on-year in October