f. u . HONGKONG d , ) 8 Juli.