Civil Engineering Types and Devices; a Classified and Illustrated Index of Plant, Constructions, Machines, Materials, Means and Methods Adopted and in