Dunia Revolusi: Perspektif dan Dinamika Lokal Pada Masa Perang Kemerdekaan Indonesia, 1945-1949