Ruhen, Enrique, 1718-1751.