so ist es wohl, ich habe das gerade gemacht und sehe keinen / kaum Unterschied in der Zeitangabe zwischen diesen Spalten.
Bei einigen ca. 1min, vermutlich Rundungserscheinungen der Sekunden. (ermittelt mit TB 102.7.0)
Da die Laufzeit meist nur einige Sekunden beträgt und die Standardanzeige nur minutengenau ist, fällt das höchstens um die volle Minute auf. Läßt man sich die Zeit allerdings sekundengenau anzeigen, sieht man den Unterschied (die Laufzeit) deutlicher:
user_pref("intl.date_time.pattern_override.connector_short", "{1} {0}");
user_pref("intl.date_time.pattern_override.date_short", "yyyy-MM-dd");
user_pref("intl.date_time.pattern_override.time_short", "HH:mm:ss");
Ich zweifle außerdem, ob es sich bei der Mail in #1 um eine 'normale' Mail handelt, oder eher um eine maschinell generierte (s. Betreffzeile). Vielleicht hat TB speziell damit ein Problem – aber dazu müßte man alle Header genauer analysieren …