Lagrangian Field Theories: ind-/pro-approach and Linfinity algebra of local observables