Time Zone Challenge (II)

Nota: Usamos un horario fijo simple. Ignoramos los cambios de hora de verano. En Londres son las nueve de la mañana. ¿Qué hora es en Madrid?