/**
 * Server-Zeitstempel parsen: ohne Offset = Wiener Wanduhrzeit, mit
 * Offset/`Z` = bereits ein echter Zeitpunkt. Ergebnis ist immer ein echter
 * Zeitpunkt (JS-`Date`, intern UTC-Millisekunden seit Epoch).
 */
export declare function parseServerTimeStamp(raw: string): Date;
/** Wiener Wanduhrzeit: die Ziffern, die eine Uhr in Wien anzeigt. `month` ist 1-12. */
export interface ViennaWallClock {
    year: number;
    month: number;
    day: number;
    hour: number;
    minute: number;
    second: number;
    millisecond: number;
}
/**
 * Echter Zeitpunkt -> Wiener Wanduhrzeit (Gegenstueck zu
 * [parseServerTimeStamp]). Der Versatz kommt aus derselben Sommerzeitregel wie
 * die Hinrichtung; hier ist er direkt anwendbar, weil der Zeitpunkt schon
 * feststeht.
 */
export declare function toViennaWallClock(instant: Date): ViennaWallClock;