Die Annexion Portugiesisch-Timors durch Indonesien