Die Regierung in Jakarta gibt die Annexion der ehemaligen portugiesischen Kolonie Osttimor bekannt.