protokolliert sein Synonym