How many Eredivisie teams have played in 2008?
Eredivisie is the name of division; 2008 refers to season; teams refer to HomeTeam;
SELECT COUNT(DISTINCT T1.HomeTeam) FROM matchs AS T1 INNER JOIN divisions AS T2 ON T1.Div = T2.division WHERE T2.name = 'Eredivisie' AND T1.season = 2008
database name:db_id european_football_1
divisions table divisions Cols: division dtype text, name dtype text, country dtype text, 
matchs table matchs Cols: Division dtype text, Date dtype date, HomeTeam dtype text, AwayTeam dtype text, Final-time Home-team Goals dtype integer, Final-time Away-team Goals dtype integer, Final-time Results dtype text, season dtype integer, 
