protokolliert worden sein Synonym