abmildern cf. mildern.