A Bijection between Lattice-Valued Filters and Lattice-Valued Congruences in Residuated Lattices. (18th July 2013)