In Memoriam: Richard James Grove