subsumieren unter Synonym