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