Question: Which actor had a role in The Legend of Frosty the Snowman and also in "How I Met Your Mother"

full_context: Document 1: Bill Fagerbakke: William Mark "Bill" Fagerbakke ( ) is an American actor and voice actor. He is best known for his long-running roles as Patrick Star in the animated series "SpongeBob SquarePants" and Michael "Dauber" Dybinski on the sitcom "Coach". He also appeared in 12 episodes of the sitcom "How I Met Your Mother" as Marshall Eriksen's father Marvin.
Document 2: SpongeBob SquarePants (character): SpongeBob SquarePants is the titular character and protagonist of the American animated television series of the same name. He is voiced by actor and comedian Tom Kenny and first appeared on television in the series' pilot episode on May 1, 1999.
Document 3: Frosty's Winter Wonderland: Frosty's Winter Wonderland is a 1976 animated Christmas television special and a sequel to the 1969 special "Frosty the Snowman", produced by Rankin/Bass Productions. It returns writer Romeo Muller and actor Jackie Vernon as the voice of Frosty, while Andy Griffith stars as the narrator. The special premiered on ABC on December 2, 1976.
Document 4: Frosty Returns: Frosty Returns is an animated Christmas television special starring Jonathan Winters as the narrator and John Goodman as the voice of Frosty the Snowman. The special was directed by Bill Melendez and Evert Brown and features music by Mark Mothersbaugh. It first aired in 1992 on CBS.
Document 5: Rudolph and Frosty's Christmas in July: Rudolph and Frosty's Christmas in July (commonly known by its on-screen title as Rudolph and Frosty: Christmas in July, or simply Rudolph and Frosty) is an American crossover Christmas television special produced by Rankin/Bass, featuring characters from the company's holiday specials including "Rudolph the Red-Nosed Reindeer" and "Frosty the Snowman". It was filmed in Japan through "Animagic", a stop-motion animation process in the style of "Rudolph". The film premiered in the US on November 25, 1979 on the ABC network.
Document 6: Patrick Star: Patrick Star is a fictional character in the American animated television series "SpongeBob SquarePants". He is voiced by actor Bill Fagerbakke, who also voices numerous other characters on the show. Created and designed by marine biologist and cartoonist Stephen Hillenburg, the series creator, Patrick first appeared on television in the show's pilot episode "Help Wanted" on May 1, 1999.
Document 7: List of SpongeBob SquarePants cast members: "SpongeBob SquarePants" is an American animated television series created by marine biologist and animator Stephen Hillenburg that debuted on Nickelodeon in the United States on May 1, 1999. The regular voice cast consists of Tom Kenny, Clancy Brown, Rodger Bumpass, Bill Fagerbakke, Mr. Lawrence, Jill Talley, Carolyn Lawrence, Mary Jo Catlett and Lori Alan. Most one-off and background characters are voiced by Dee Bradley Baker, Sirena Irwin, Bob Joles, Mark Fite and Thomas F. Wilson. Throughout the show's run, it has employed numerous guest stars from many ranges of professions. Repeat guests include Ernest Borgnine, Tim Conway, Brian Doyle-Murray, Marion Ross, John O'Hurley and Michael McKean.
Document 8: The Legend of Frosty the Snowman: The Legend of Frosty the Snowman is a 2005 American/Canadian direct-to-video animated film produced by Classic Media and Studio B Productions. This movie has also been bundled with the original 1969 Rankin/Bass special and the CBS Entertainment Productions sequel. The special originally aired annually on Cartoon Network in the United States, and it now airs on Kids & Teens TV in the country since December 11, 2011, despite the acquisition of DreamWorks Animation, which acquired Classic Media and renamed it DreamWorks Classics in 2012, and currently distributed by Universal Television. Narrated and sung by Burt Reynolds, with veteran actor/voice artist Bill Fagerbakke in the role of Frosty, the film has very little continuity with the original, featuring a rebooted back-story.
Document 9: Jack Frost (1979 film): Jack Frost is a 1979 Christmas stop motion animated television special produced by Rankin/Bass Productions. It was directed by Jules Bass and Arthur Rankin, Jr., written by Romeo Muller and premiered on the NBC network on December 13, 1979. The special tells the tale of Jack Frost, the winter sprite, and his adventures as a human.
Document 10: Barney Stinson: Barnabas "Barney" Stinson is a fictional character portrayed by Neil Patrick Harris and created by Carter Bays and Craig Thomas for the CBS television series "How I Met Your Mother". One of the main characters, Barney is a womanizer who uses many 'plays' in his 'playbook' to help him have sex with women. The character is known for his love of wearing expensive suits, laser tag, alcohol and various catchphrases, including "Suit up!", "Legendary", "Wait for it" (often combining the two as "legen—wait for it—dary!"), and "Daddy's home". In later seasons, he has a few serious relationships, marries, divorces, and has a child with an unnamed woman from a one-night stand.
Document 11: Billy West: William Richard West (born April 16, 1952) is an American voice actor, singer, comedian, musician, songwriter and former radio personality who is known for his voice-over work in a number of television series, films, video games and commercials. He has done hundreds of voice-overs in his career such as Ren (season 3 to season 5) and Stimpy on "The Ren & Stimpy Show"; Doug Funnie and Roger Klotz on "Doug"; and Philip J. Fry, Professor Farnsworth, Dr. Zoidberg, Zapp Brannigan and a number of others on "Futurama". He does voices for commercials and is the current voice of the red M&M and was also the voice of Buzz, the Honey Nut Cheerios Bee until 2004. In addition to his original voices, he has voiced Bugs Bunny, Elmer Fudd, Shaggy Rogers, Popeye and Woody Woodpecker during later renditions of the respective characters. He was a cast member on "The Howard Stern Show", noted for his impersonation of The Three Stooges' Larry Fine.
Document 12: Frosty the Snowman (film): Frosty the Snowman is a 1969 animated Christmas television special based on the song "Frosty the Snowman". The program, which first aired on December 7, 1969 on CBS (where it still airs to this day), was produced for television by Rankin/Bass Productions and featured the voices of comedians Jimmy Durante as the film's narrator (Durante's final performance in a film) and Jackie Vernon as the title character.
Document 13: List of SpongeBob SquarePants characters: The characters in the American animated television series "SpongeBob SquarePants" were created by artist, animator, and former marine biologist Stephen Hillenburg. In addition to the series' main cast, various celebrities have voiced roles in "SpongeBob SquarePants". Notably, Ernest Borgnine and Tim Conway voice the roles of recurring characters Mermaid Man and Barnacle Boy respectively (Joe Whyte assumed the role of Mermaid Man shortly after Ernest Borgnine's death in 2012), while others have taken a cameo part.
Document 14: Rankin/Bass Productions: Rankin/Bass Productions, Inc. (founded as Videocraft International, Ltd.) was an American production company, known for its seasonal television specials, particularly its work in stop motion animation. The pre-1974 library is owned by Universal Studios (via DreamWorks Animation/DreamWorks Classics), while the post-1973 library is owned by Warner Bros. Rankin/Bass stop-motion features are recognisable by their visual style of doll-like characters with spheroid body parts, and ubiquitous powdery snow using an animation technique called "Animagic". Often, traditional cel animation scenes of falling snow would be projected over the action to create the effect of a snowfall.
Document 15: Frosty the Snowman: "Frosty the Snowman" (or "Frosty the Snow Man") is a popular Christmas song written by Walter "Jack" Rollins and Steve Nelson, and first recorded by Gene Autry and the Cass County Boys in 1950. It was written after the success of Autry's recording of "Rudolph the Red-Nosed Reindeer" the previous year; Rollins and Nelson shipped the new song to Autry, who recorded "Frosty" in search of another seasonal hit. Like "Rudolph", "Frosty" was subsequently adapted to other media including a popular television special by Rankin/Bass Productions (formerly known as Videocraft International), "Frosty the Snowman". The ancillary rights to the Frosty the Snowman character are owned by Warner Bros., but due to the prominence of the TV special, merchandising of the character is generally licensed in tandem with that special's current owners, DreamWorks Classics.
ground_truth: Bill Fagerbakke