Germany's trade surplus in October highest since June