Some further cross-references added.