Question: What action-adventure survival video game published by the indie studio Hello Games was combined with "Super Mario Brothers" to create the fangame "No Mario's Sky"?

Context articles: No Man's Sky
Super Mario World (TV series)
Super Mario All-Stars
Super Mario Galaxy 2
Super Mario Kart
Super Mario Advance 4: Super Mario Bros. 3
Super Mario Maker
Joseph Brodak
No Mario's Sky
The Adventures of Super Mario Bros. 3

No Man's Sky is an action-adventure survival video game developed and published by the indie studio Hello Games for PlayStation 4 and Microsoft Windows.
 It was released worldwide in August 2016.
 The gameplay of "No Man's Sky" is built on four pillars: exploration, survival, combat, and trading.
 Players are free to perform within the entirety of a procedurally generated deterministic open universe, which includes over 18 quintillion (1.8×10 ) planets, many with their own sets of flora and fauna.
Super Mario World is an American animated musical comedy television series loosely based on the Super NES video game of the same name.
 It is the third animated series based on the Mario video game series, with the other two being "The Super Mario Bros.
 Super Show!
" and "The Adventures of Super Mario Bros. 3".
 Unlike its two predecessors, this series does not feature Toad (though his voice actor, John Stocker, voices other characters in this show) and takes place in Dinosaur World.
 It instead features Yoshi.
 Thirteen episodes of the show were aired, as part of a block with "" called "Captain N & The New Super Mario World" on NBC.
 Just like "The Adventures of Super Mario Bros. 3", the show is produced by DIC Entertainment and the Italian studio Reteitalia, S.p.A. in association with Nintendo of America, Inc., who licensed the characters and power-ups from the game to DiC.
Super Mario All-Stars is a 1993 compilation of "Super Mario" platform video games developed and published by Nintendo for the Super Nintendo Entertainment System.
 The game contains enhanced remakes of the four "Super Mario" games released for the Nintendo Entertainment System: "Super Mario Bros.", "Super Mario Bros. 2", "Super Mario Bros. 3", and "", the latter of which was the original Japanese version of "Super Mario Bros. 2" which was never released outside Japan prior to this compilation.
 The games were restructured to take advantage of the Super NES hardware, featuring updated graphics and sounds and additional save mechanisms.
Super Mario Galaxy 2 is a platforming video game developed and published by Nintendo for the Wii.
 It was first announced at E3 2009 and is the sequel to "Super Mario Galaxy".
 It was released worldwide in 2010, and is the fourth original 3D platformer in the "Super Mario" series, after "Super Mario 64", "Super Mario Sunshine", and "Super Mario Galaxy".
Super Mario Kart is a 1992 go-kart racing video game developed and published by Nintendo for the Super Nintendo Entertainment System video game console.
 The first game of the "Mario Kart" series, it was launched in Japan on August 27, 1992, in North America on September 1, 1992, and in Europe on January 21, 1993.
 Selling nine million copies worldwide, the game went on to become the third best selling SNES game of all time.
 "Super Mario Kart" was re-released on the Wii's Virtual Console in Japan on June 9, 2009, North America on November 23, 2009, and in Europe on April 2, 2010.
 "Super Mario Kart" was re-released again on the Wii U's Virtual Console in Japan on June 19, 2013, Europe on March 27, 2014, and in North America on August 6, 2014.
 "Super Mario Kart" was released once more on the New Nintendo 3DS's Virtual Console.
 Nintendo re-released "Super Mario Kart" in the United States in September 2017 as part of the company's Super NES Classic Edition.
Super Mario Advance 4: Super Mario Bros 3 is a platform video game developed and published by Nintendo for the Game Boy Advance handheld game console.
 It was first released in Japan, and then later released in Europe, North America, and Australia.
 It is an enhanced remake of the Nintendo Entertainment System video game "Super Mario Bros. 3", and is based on the remake found in "Super Mario All-Stars" for the Super NES.
 It is the fourth and final release in the "Super Mario Advance" series.
Super Mario Maker is a side-scrolling platform video game and game creation system developed and published by Nintendo for the Wii U game console, which released worldwide in September 2015.
 Players are able to create and play their own custom courses, based on "Super Mario Bros.", "Super Mario Bros. 3", "Super Mario World" and "New Super Mario Bros.
 U", and share them online.
 Over time, new editing tools are unlocked, allowing players to download and play courses designed by other players.
Joseph Brodak is a Michigan man who committed serial bank robbery in the Metro Detroit area in the early 90s and again in early 2000.
 Brodak was dubbed the "Mario Brothers Bandit" by the FBI because the disguise he wore (a large fake moustache, suspenders, and a newsboy cap) bore a resemblance to the main characters in the video game Super Mario Brothers.
 Brodak was charged with 11 bank robberies over the course of the summer of 1994.
 Brodak was an employee at the Tech Center at General Motors in Centerline, Michigan, when he lost his job for stealing a Corvette from the employee parking lot.
 In order to keep up with his gambling debts, Brodak robbed 11 banks over two months, accruing only about $44,000 in the process.
 Casino chips and horse racing slips were found in his possession when he was arrested, along with the disguise in plain view on the backseat of his car.
 He was sentenced to 10 years for Felony Bank Robbery, a sentence of which he served 7 years.
No Mario's Sky is a fangame created by ASMB games.
 The game combined the gameplay mechanics of "Super Mario Bros." and "No Man's Sky".
 Although the game was well-received, Nintendo shut down the game with a Digital Millennium Copyright Act (DMCA) notice.
 In response, the game was re-released under the title "DMCA's Sky".
The Adventures of Super Mario Bros. 3 is an American animated television series based on the video game "Super Mario Bros. 3".
 It aired on NBC with "" in a programming block titled "Captain N & The Adventures of Super Mario Bros. 3" from September 8, 1990 to December 1, 1990.
 It is the second of the three TV shows based on the video game, with the others being "The Super Mario Bros.
 Super Show" and "Super Mario World".