Question: F1 2013 is a video game developed by Codemasters based on the 2013 Formula One season, a notable credit is the opening video features "Clarity" is a song by which Russian-German electronic dance music producer featuring the vocals of British singer Foxes?

full_context: Document 1: Felix Cartal: Taelor Deitcher, (better known by his stage name Felix Cartal) is a Canadian DJ and EDM producer. He released his first EP "Skeleton" in 2009 once he signed with Dim Mak Records. Since then he has gone on to release two full-length albums, 2010's "Popular Music" and 2012's "Different Faces" and tour around the world with Wolfgang Gartner, MSTRKRFT, and Bloody Beetroots. Deitcher set the trend of collaborating with unpredictable vocalists in the dance scene such as Sebastien Grainger of Death from Above 1979, Maja Ivarsson of The Sounds and Johnny Whitney of The Blood Brothers.
Document 2: F1 2015 (video game): F1 2015 is a racing game based on the 2015 Formula One season developed by Codemasters. It is the seventh Formula One game produced by the same studio. It was released on July 10, 2015, and features the team and driver line-ups from the 2015 season, including the Autódromo Hermanos Rodríguez. It also features all the drivers, cars and circuits from the 2014 season (i.e. Caterham F1, and the Hockenheimring, which was removed from the calendar). It is the first title developed by Codemasters for the eighth generation consoles.
Document 3: Matthew Koma: Matthew Bair (born June 2, 1987), known by his stage name Matthew Koma, is an American singer, songwriter, DJ, and record producer. Matthew Koma is one of the writers behind numerous hit songs, including Zedd's "Spectrum," and Grammy Award-winner "Clarity," also with Zedd.
Document 4: F1 2017 (video game): F1 2017 is a racing video game developed and published by Codemasters. It was released for PlayStation 4, Xbox One, macOS and Windows on 25 August 2017. The game is based on the 2017 Formula One season and includes all of the twenty circuits, twenty drivers and ten teams competing in the season. "F1 2017" is the ninth installment in the "Formula One" video games franchise developed by Codemasters. The macOS version, developed by Feral Interactive, was released simultaneously with the other versions - a first in the series' history.
Document 5: Spectrum (song): "Spectrum" is a song by Russian-German electronic music producer Zedd. It features the vocals from American singer Matthew Koma. It was released as a single on June 4, 2012, and serves as the first single from Zedd's debut studio album "Clarity". It was written by Koma and Zedd.
Document 6: F1 2013 (video game): F1 2013 is a video game developed by Codemasters based on the 2013 Formula One season. It is the fifth Formula One game developed by the Codemasters studios after the company renewed its license to develop the official games of the series. It uses the EGO Engine. A notable credit is the opening video features the song "Clarity" by Zedd featuring Foxes.
Document 7: F1 2012 (video game): F1 2012 is a video game developed by Codemasters. It is based on the 2012 Formula One season, and is the sequel to "F1 2010" and "F1 2011". It is the fourth Formula One game developed by the Codemasters studios after the company renewed its licence to develop the official games of the series. It was announced on 18 March 2012, co-inciding with the first race of the 2012 season. The game was released in September 2012. It uses the EGO Engine.
Document 8: Clarity (Zedd song): "Clarity" is a song by Russian-German electronic dance music producer Zedd featuring the vocals of British singer Foxes. It serves as the third single from his debut studio album of the same name. The song was written by Zedd, Matthew Koma, Porter Robinson and Skylar Grey and released as iTunes Single of the Week on October 2, 2012, and as an EP on February 12, 2013 by Interscope Records. Zedd has released an extended mix of the song exclusively on Beatport on November 12, 2012.
Document 9: List of Codemasters video games: Codemasters is a British video game developer and publisher founded by David Darling and his brother Richard in 1986. The headquarter of the studio is set in Southam, Warwickshire, while the company another 3 subsidiaries are set in Birmingham and Kuala Lumpur, Malaysia. The company was known for developing and publishing racing titles such as "Colin McRae Rally", "Micro Machines" and "TOCA". The company also released several other games in other genres, such as the action-adventure series "Overlord", the tactical shooter series "Operation Flashpoint" and the "Brian Lara Cricket" series. In 2008, the company acquired the rights to develop and publish licensed "Formula One" video games. In the same year, the company acquired Sega Studio from Sega and Codemasters Birmingham from Swordfish Studios. The company's majority owner is Reliance Big Entertainment, which acquired a 50% stake in the company in 2010 and increase to 60.41% in 2013.
Document 10: Stay the Night (Zedd song): "Stay the Night" is a song by Russian-German electronic dance music producer Zedd, from the deluxe edition (2013) of his debut studio album, "Clarity " (2012). It features vocals from Hayley Williams, the lead singer of American rock group Paramore. The song was written by Zedd, Williams, Benjamin Eli Hanna, and Carah Faye. "Stay the Night" was released to digital retailers on September 10, 2013, by Interscope Records as the lead single off the deluxe edition of "Clarity", and the fourth overall single from the album.
Document 11: F1 2011 (video game): F1 2011 is a video game created by Codemasters based on the 2011 Formula One season. It is the sequel to the 2010 video game based on the same series. The game was released in September 2011 on the Microsoft Windows, PlayStation 3 and Xbox 360 platforms, November 2011 on the Nintendo 3DS and February 2012 on the PlayStation Vita. It has sold 3.5 million units worldwide. The game engine is based on the new EGO 2.0 engine, an unofficially titled evolution of the EGO 1.5 engine that was created specially for the title.
Document 12: Clean Bandit discography: English electronic music group Clean Bandit have released one studio album, three extended plays, seven singles (including one as a featured artist) and eleven music videos. In December 2012, the group released their debut single "A+E", which peaked at number 100 on the UK Singles Chart. The song is the lead single from their debut album, "New Eyes", which was released in May 2014. The album's second single, "Mozart's House", charted at number seventeen on the UK Singles Chart, becoming Clean Bandit's first top twenty single on the chart. "Dust Clears" was released as the third single from the album, reaching number forty-three on the UK chart. The album's fourth single, "Rather Be", features Jess Glynne and topped the UK Singles Chart, the group's first number one on the chart. Their 2016 single "Rockabye", which features rapper Sean Paul and singer Anne-Marie, became their second number-one hit in the UK, becoming the Christmas number one single for 2016 in its seventh consecutive week at number-one. The follow-up to "Rockabye", "Symphony", featured Zara Larsson and became their third UK number one single.
Document 13: F1 2016 (video game): F1 2016 is a racing game which is based on the 2016 Formula One season and was developed by Codemasters Birmingham, published by Codemasters, distributed by Square Enix in North America and Ubisoft in Japan. The game is the eighth instalment in the "F1" franchise developed by Codemasters. The game was released on 19 August 2016 on PlayStation 4, Xbox One and PC. The game was also released for iOS, Android and tvOS on November 10, 2016. A Mac version by Feral Interactive was released on April 7, 2017.
Document 14: True Colors (Zedd and Kesha song): "True Colors" is a song by Russian-German electronic music producer Zedd. The original version of the song featured uncredited vocals by Tim James and was included on Zedd's second studio album, "True Colors" (2015). The official single is a new version of the track with vocals provided by the American singer Kesha and was released as the album's fourth single on April 29, 2016. They performed the song live at Coachella 2016. The song appeared in "FIFA 17".
Document 15: F1 Race Stars: F1 Race Stars is a video game developed by Codemasters, released in November 2012. It is a kart racing game loosely based on the 2012 Formula One season, with circuits redesigned to feature loops, jumps and short-cuts. It is a spin-off from the traditional "Formula One" video games, and is the first kart-racing game developed by Codemasters. The player is able to choose cartoonish versions of Formula One racing drivers, such as Sebastian Vettel, Lewis Hamilton, Kimi Räikkönen, Nico Rosberg, Mark Webber, Michael Schumacher and Fernando Alonso. It was announced on 13 July 2012 at the San Diego Comic-Con International. Codemasters have described the game as being designed to emphasise entertainment rather than simulation. On 6 December 2012 it was confirmed to be ported to Wii U under the title F1 Race Stars: Powered Up Edition, where it was released on 16 January 2014.
ground_truth: Zedd