maj var det bestämdt , att de kinesiska trupperna ögonblickligen skulle utrymma Tonkin.