CREATE TABLE table_76124 ("Television service" TEXT, "Country" TEXT, "Language" TEXT, "Content" TEXT, "HDTV" TEXT, "Package/Option" TEXT)

What is the HDTV when documentaries are the content?
SELECT "HDTV" FROM table_76124 WHERE "Content" = 'documentaries'
SELECT "HDTV" FROM "table_76124" WHERE "Content" = 'documentaries'