Technical: added data on print from WorldCat, reset short name.
[Credit automatically assigned to previous contributor(s).]
[Technical editing, no credit given.]