If 1:53.28 is 1:54.01, what is the world record?
CREATE TABLE "records" (
  "world_record" text,
  "jarmila_kratochv_lov_tch" text,
  "1_53_28" text,
  "munich_west_germany" text,
  "26_july_1983" text
);
SELECT "world_record" FROM "records" WHERE "1_53_28"='1:54.01';