British pioneers of the geology of Gibraltar, Part 3: E. B. Bailey and Royal Engineers 1943 to 1953 · Study