CREATE TABLE "original_london_production" (
  "year" real,
  "award" text,
  "category" text,
  "nominee" text,
  "result" text
);

Question: What was the result for the best musical revival category?
SQL: SELECT "result" FROM "original_london_production" WHERE "category"='best musical revival';