Jaren van javaanse gasfabrieken 1863-1905 by Cora Boele