Super, danke für die Info. Die Schlusssirene beim DEG-Spiel war um 21:42:01 (ich war im Dome und hab das extra deswegen notiert), die Datenquelle sagt 21:44:25, also fast 2½ Minuten später. Überträgt man dieses Offset auf das KEV-Spiel, müsste es schon um ca. 21:55:45 beendet gewesen sein. Ein solches Delay wird die TV-Übertragung aber kaum haben.
Vielleicht sind die Angaben der Datenquelle aber auch nicht bei allen Spielen gleich (un)zuverlässig.