Äquivalenzumformungen erkennen
Ma