Bäcklund and Darboux Transformations: Bianchi and Ernst Systems. Bäcklund Transformations and Permutability Theorems