Manufacture and repair of keys