Wann mit Divertikulitis ins Krankenhaus?