What is the area in km2 for the district whose original name was Kecamatan Bogor Timur?
CREATE TABLE "districts_of_bogor_city" (
  "english_name" text,
  "original_name" text,
  "area_in_km" text,
  "population_at_2010_census" real,
  "number_of_settlements_and_villages" real
);
SELECT "area_in_km" FROM "districts_of_bogor_city" WHERE "original_name"='Kecamatan Bogor Timur';