Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: O que é HDTV, quando o Serviço de Televisão é MTV Rocks?
 ###Tabelas: CREATE TABLE music (music_id AUTO_INCREMENT PRIMARY KEY, Television service VARCHAR, Country VARCHAR, Language VARCHAR, Content VARCHAR, HDTV VARCHAR, Package/Option VARCHAR) CREATE TABLE pro_slam (pro_slam_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Year INT, Pro Slam Championship VARCHAR, Surface VARCHAR, Opponent in the final VARCHAR, Score in the final VARCHAR) CREATE TABLE lightweight_classic_race (lightweight_classic_race_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Rider VARCHAR, Team VARCHAR, Speed VARCHAR, Time VARCHAR) CREATE TABLE away (away_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Outgoing Manager VARCHAR, Manner of Departure VARCHAR, Date of vacancy VARCHAR, Replaced By VARCHAR, Position in the table − VARCHAR) CREATE TABLE germany (germany_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Pos. VARCHAR, Height VARCHAR, Weight VARCHAR, Date of Birth VARCHAR, Club VARCHAR)  
SELECT HDTV FROM music WHERE Television service = mtv rocks