mildern {milderte ; gemildert}