Korrekt. Thomas Kraft ist gemeinsam mit Schaaf entlassen worden. Mich würde übrigens auch interessieren, was Michael Jürgen damit meinte, aber ich vermute nichts gutes dahinter.