https://de.synonym.one/sich verschmälern