CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR)

When did Edoardo Amaldi launch?
SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi"
SELECT "launch_date" FROM "table_name_25" WHERE "edoardo amaldi" = "name"