La de Cepeda de Mora (SAIH Tajo) el mismo día 13 registró solo 6 mm, mientras que la de Puerto el Pico (también SAIH Tajo) registró 101 mm. En Villanueva de Ávila, cercana a Puerto el Pico pero unos km al este, se registraron 22 mm. Puede que la de Navarredonda de Gredos marque de menos, pero los datos de todas las estaciones de la cara norte de Gredos cercanas a Puerto el Pico están a años luz de esta...
EDITO. Ups... pensaba que hablabas de Navarredonda de Gredos, ahora me doy cuenta que hablabas de El Hornillo, sorry. Llevas razón, marca bastante menos que cualquiera cercana, por ejemplo Villarejos del Valle 72 mm ese día.