diminuerunt