Was tun bei Darmdivertikel?