Das Zeitformat ist Stunden: Minuten: Sekunden: Millisekunden, deren Feld Millisekunden auf drei Dezimalstellen genau. ###>The time format used is hours:minutes:seconds:milliseconds, with the milliseconds field precise to three decimal places.