Who is the builder with a works number of 2534?
CREATE TABLE "locomotives" (
  "number" real,
  "name" text,
  "builder" text,
  "type" text,
  "date" text,
  "works_number" text
);
SELECT "builder" FROM "locomotives" WHERE "works_number"='2534';