Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Liste os nomes de todas as empresas do setor de manufatura que implementaram tecnologias da indústria 4.0.
 ###Tabelas: 
CREATE TABLE companies (id INT, name TEXT, country TEXT, industry TEXT, industry_4_0 BOOLEAN); INSERT INTO companies (id, name, country, industry, industry_4_0) VALUES (1, 'ABC Corp', 'Germany', 'Manufacturing', TRUE), (2, 'DEF Corp', 'France', 'Service', FALSE), (3, 'GHI Corp', 'Germany', 'Manufacturing', FALSE);
SELECT name FROM companies WHERE industry = 'Manufacturing' AND industry_4_0 = TRUE;