Wie lange kann es dauern bis eine Divertikulitis ausgeheilt ist?