Table schema:
CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR)

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