Translation of "Äquivalenzumformung" in English