CREATE TABLE table_name_13 (winning_driver VARCHAR(255), pole_position VARCHAR(255), fastest_lap VARCHAR(255), constructor VARCHAR(255))
Who was the winning driver when pole position was jenson button, the fastest lap was michael schumacher and the car was ferrari?
    
SQL: SELECT winning_driver FROM table_name_13 WHERE fastest_lap = "michael schumacher" AND constructor = "ferrari" AND pole_position = "jenson button"