erwaehnt worden sein Synonym