Deleted section on DeBacker/Reeder, as it is

unnecessary.  Added a few more details in the section on relating
DeBacker/Reeder, Reeder, with Gross.