Condolences for the family of Donald P. Krawczyk