gi es el dominio de nivel superior nacional ( dominio de nivel superior de código de país: ccTLD ) reservado para Gibraltar .