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