Option: --timestampingserverurl (setzt die Adresse des Zeitstempelservers)