Vorhersage und Beobachtung des ersten antiferromagnetischen topologischen Isolators