Manuel Tuñón de Lara — Spanish historian (1915-1997)