inhaltlicher Fehler (ÄquivivalenzProblem ist immernoch nicht entscheidbar,...

inhaltlicher Fehler (ÄquivivalenzProblem ist immernoch nicht entscheidbar, Leerheitsproblem, dagegen, nicht mehr)