Restos mineros en la Peña del Hierro, NERVA