faststäldt , att de kinesiska trupperna ögonblickligen skulle utrymma Tonkin.