Who's in Our Austin Market?

Whetcode Supply is trialling same-day delivery in a single city before committing to it, and Austin has been chosen for the pilot. Marketing needs the names of the customers who live there so the announcement email goes only to people who can actually use it.

Each customer row records exactly one city as plain text, so this is a question about which rows belong on the list rather than about combining anything. The email is addressed by name, so the name is the only column that needs to come back.

customers — one row per registered customer. city is the city they gave at signup.

The table already exists in the database — there is nothing to create or load.

Task: Write a query returning a single column, name, for every customer based in Austin, in alphabetical name sequence.

Example output — shape only, on invented names.