what name has an appointed year of 2009 and years until mandatory retirement of 13 years?
CREATE TABLE "current_composition" (
  "name" text,
  "rank" text,
  "years_until_mandatory_retirement" text,
  "appointed_by" text,
  "year_appointed" real
);
SELECT "name" FROM "current_composition" WHERE "year_appointed"=2009 AND "years_until_mandatory_retirement"='13 years';