The Hartmann procedure for complications of diverticulitis.