protokolliert worden Synonym