Find the total revenue created by the companies whose headquarter is located at Austin.
CREATE TABLE manufacturers (
    revenue INTEGER,
    headquarter VARCHAR
)
SELECT SUM(revenue) FROM manufacturers WHERE headquarter = 'Austin'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: Find the total revenue created by the companies whose headquarter is located at Austin. ### Input: CREATE TABLE manufacturers (
    revenue INTEGER,
    headquarter VARCHAR
) ### Response: SELECT SUM(revenue) FROM manufacturers WHERE headquarter = 'Austin'