Question: Who is the builder with a works number of 2534?
SQL: SELECT builder FROM table_name_16 WHERE works_number = "2534"