if (isset($ergebnisse["antraege"])) foreach ($ergebnisse["antraege"] as $antr) {
            $antrag = $antr["antrag"];
            /** @var Antrag $antrag */
            echo "Antrag: " . $antrag->id . "\n";
            echo "--------\n";