ESlightly modified the wording of the portion concerning class field theory of the
@first two displays of \S 4.2, (i)