vermindert gelindert Synonym