The peasants revolt of Banten in 1888 (Martinus Nijhoff, 1966)