Reduction techniques for infinite-dimensional Hamiltonian systems: Some ideas and applications