Diverticulitis: when and how to operate?