Translate the following question to SQL: What are the names of companies with revenue less than the lowest revenue of any manufacturer in Austin?

Schema: CREATE TABLE Manufacturers (
    Code INTEGER   PRIMARY KEY,
    Name VARCHAR(255) NOT NULL,
    Headquarter VARCHAR(255) NOT NULL,
    Founder VARCHAR(255) NOT NULL,
    Revenue REAL
);

CREATE TABLE Products (
    Code INTEGER   PRIMARY KEY,
    Name VARCHAR(255) NOT NULL,
    Price DECIMAL NOT NULL,
    Manufacturer INTEGER NOT NULL,
    FOREIGN KEY (Manufacturer) REFERENCES Manufacturers(Code)
);
user
SELECT name FROM manufacturers WHERE revenue  <  (SELECT min(revenue) FROM manufacturers WHERE headquarter  =  'Austin')
assistant