Was kann man gegen die die Schmerzen bei entzündeten Divertikel?