Historical name Current Names Current name hammer, hammers Records Library / Place of Edition Title Source title Year Book VIII 1950 Book VI. 1950