¡¡Conseguido!! Gracias Angel_Blanco por tu idea. Ahora ya tengo sintonizados todos los Sky Sports alemanes en HD. Pongo la solución por si le pasa a alguien mas.
Extraer la lista de canales del deco, y añadir los que faltan con el editor de canales. En el mismo editor vienen las instrucciones.
Gracias a todos, y un saludo.