Ach stimmt, sind sie ja doch. Was da etwas verwirrend ist, ist, dass erstens die Nummer der Zuglinie statt der Zugnummer genutzt wird (also bspw. ICE 25 statt ICE 983) und vor allem, dass zweitens die App die Zeiten in UTC umgerechnet angibt, statt nach deutscher Zeit. Wenn man dann noch dazunimmt, dass die Verspätungsdaten teils ein paar Minuten vom DB Navigator abweichen, ist es kein Wunder, dass ich das erst jetzt beim nochmal genauer überprüfen gemerkt habe.