The Indonesian prototype lime kiln at Mranggen, Central Java (United Nations Development Programme ;, 1979)