Transmitting antennas of radio and television in Guarramillas or Bola del Mundo mountain in Navacerrada, Madrid