Umkehrung von Implikationen SoSe 2017