CREATE TABLE table_name_25 (launch_date VARCHAR(255), name VARCHAR(255))
When did Edoardo Amaldi launch?
    
SQL: SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi"