Condolences for the family of Richard C. Butz