geschichtliche variation Synonym