Question: Anton Janssen, is a retired Dutch footballer who played for PSV Eindhoven, the Philips Sport Vereniging, abbreviated as PSV and internationally known as PSV Eindhoven ] is a sports club from Eindhoven, in which country?

full_context: Document 1: 1987 European Cup Winners' Cup Final: The 1987 European Cup Winners' Cup Final was a football match contested between Ajax of Netherlands and Lokomotive Leipzig of East Germany. It was the final match of the 1986–87 European Cup Winners' Cup and the 27th European Cup Winners' Cup Final. The final was held at Olympic Stadium in Athens, Greece. Ajax won the match 1–0 with a 20th-minute header from Marco van Basten.
Document 2: SBV Vitesse: Stichting Betaald Voetbal Vitesse, commonly known as SBV Vitesse, Vitesse or Vitesse Arnhem, is a Dutch football club based in Arnhem, which was founded on 14 May 1892. The club has enjoyed some success in the Eredivisie, has featured in the UEFA Cup competition and became the first Dutch football club to be owned by a foreigner when it was taken over by Russian businessman Alexander Chigirinsky in 2010. Since 1998, the club has played its home games at the GelreDome. Their best result in the Eredivisie was third place in 1997–98. The club won the KNVB Cup in 2016–17.
Document 3: Philips Stadion: The Philips Stadion (] ) is a football stadium in Eindhoven, Netherlands, and it is the home of PSV (Philips Sport Vereniging), also known as PSV Eindhoven. With a capacity of 35,000, it is the third-largest football stadium in the country. Established as the Philips Sportpark, it was constructed as a sports field for Philips employees in 1910. The Philips Elftal played football matches from 1911 until 1913, when the team was succeeded by PSV. Since 1913, PSV has used the original ground as its home stadium.
Document 4: Theo Janssen: Theo Janssen (born 27 July 1981) is a Dutch former footballer who played as a midfielder for various clubs in the Netherlands, including Vitesse Arnhem, Twente and Ajax, as well as on loan for Belgian club Genk. He spent 10 years with Vitesse before joining Twente in 2008, where he helped them win the Eredivisie and qualify for the Champions League for the first time in their history. After being named Dutch Footballer of the Year in 2011, he played a season with Ajax, before returning to Vitesse in August 2012.
Document 5: Hamburger SV: Hamburger Sport-Verein e.V. ] , commonly known as Hamburger SV, Hamburg or HSV ] , is a German sport club based in Hamburg, its largest branch being its football department. Although the current HSV was founded in June 1919 from a merger of three earlier clubs, it officially traces its origin to 29 September 1887 when the first of the predecessors, SC Germania, was founded. HSV's football team has the unique distinction of having played continuously in the top tier of the German football league system since the end of World War I. It is the only team that has played in every season of the Bundesliga since its foundation in 1963, at which time the team was led by German national captain Uwe Seeler.
Document 6: Anton Janssen: Anton Janssen (born 10 August 1963 in Tiel, Gelderland) is a retired Dutch footballer who played for PSV Eindhoven and was part of their European Cup victory in 1988.
Document 7: Jan Vennegoor of Hesselink: Johannes "Jan" Vennegoor of Hesselink (] ; born 7 November 1978) is a Dutch former footballer who last played for PSV Eindhoven. He formerly played for the Netherlands national team as a striker. He played for clubs such as the Dutch Eredivisie's FC Twente and PSV Eindhoven, the Scottish Premier League's Celtic, Hull City of the English Premier League and Rapid Vienna of Austria's Bundesliga.
Document 8: Johan Neeskens: Johannes Jacobus "Johan" Neeskens (] ; born 15 September 1951) is a Dutch football manager and former midfielder. As a player, he was an important member of the Dutch national team that finished as runners-up in the 1974 and 1978 FIFA World Cups and is considered to be one of the greatest Dutch midfielders of all time. In 2004, he was named one of the 125 Greatest Living Footballers at a FIFA Awards Ceremony., while in 2017 he has been included in the "FourFourTwo" list of the 100 all-time greatest players, at the 64th position.
Document 9: PSV Eindhoven in European football: PSV Eindhoven is a Dutch football club based in Eindhoven. The club was founded in 1913 as "Philips Sport Vereniging."
Document 10: PSV Eindhoven: The Philips Sport Vereniging (] , English: Philips Sports Union ), abbreviated as PSV and internationally known as PSV Eindhoven ] is a sports club from Eindhoven, Netherlands. It is best known for its professional football department, which plays in the Eredivisie, the Dutch football top division, since its inception in 1956. Along with Ajax and Feyenoord, PSV is one of the country's "big three" clubs that have dominated the Eredivisie.
Document 11: Eindhoven Stadion railway station: Eindhoven Stadion (English: Eindhoven Stadium) is a small railway station located in Eindhoven, Netherlands and is opened in 1990. The station, located about 900 meter from Eindhoven railway station, is operated by Nederlandse Spoorwegen but is only serviced in the event of football matches or other special events at Philips Stadion, the stadium of football club PSV Eindhoven.
Document 12: 1986–87 European Cup Winners' Cup: The 1986–87 season of the European Cup Winners' Cup was won by Ajax in the final against Lokomotive Leipzig. The young Ajax side, which included the likes of Marco van Basten, Frank Rijkaard and Dennis Bergkamp, was guided to victory by its coach Johan Cruyff. It was Ajax's only title in the competition, and was added to a hat-trick of European Cup wins from 1971 to 1973. They also went on to win another European Cup and a UEFA Cup in the 1990s.
Document 13: AFC Ajax in European football: AFC Ajax is one of the most successful football clubs in Europe. There are only three clubs in the history of the game to have won the European Cup/Champions League titles (won four times by Ajax) three times consecutively. Only Real Madrid and Bayern Munich have achieved this feat aside from Ajax. Furthermore, Ajax have won the UEFA Cup Winners' Cup once, the UEFA Cup once, the UEFA Super Cup three times, the Intercontinental Cup twice and the International Football Cup once. The club has also appeared in three additional finals finishing as runners-up. In the 1979–80 season, Ajax player Søren Lerby was top scorer of the European Cup with 10 goals. Below is a list of all official European matches contested by Ajax.
Document 14: AFC Ajax: Amsterdamsche Football Club Ajax (] ), also AFC Ajax, Ajax Amsterdam or simply Ajax, is a Dutch professional football club based in Amsterdam. Historically, Ajax (named after the legendary Greek hero) has been the most successful club in the Netherlands, with 33 Eredivisie titles and 18 KNVB Cups. It has continuously played in the Eredivisie, the Dutch football top division, since its inception in 1956 and, along with Feyenoord and PSV, it is one of the country's "big three" clubs that have dominated that competition.
Document 15: 1989–90 A.C. Milan season: A.C. Milan won their second consecutive European Cup, thanks to a final victory over Benfica. The Dutch trio of Marco van Basten, Ruud Gullit and Frank Rijkaard was now a firmly established unit, but their efforts were not quite enough to defeat Napoli in the title chase.
ground_truth: Netherlands