Condolences for the family of Paul C. Stimmel