Dass der Windows Media Player bei einigen Dateien (Typ mp4) tatsächlich längere Zeiten anzeigt, könnte hier auch bedeuten, dass er korrekt rundet.
Dann sollte aber die von ihm ermittelte Gesamtspielzeit der des vlc-players entsprechen, der ja dabei längere Zeiten berücksichtigt. Das kann ich aber nicht überprüfen, da er (WMP 12) nicht alle meine Dateien übernimmt.
Die Auswertungen ergeben allerdings eine vom Dateityp unabhängige Differenz , die sich leicht im Kopf überschlagen lässt.
Gruß Amtranik54