Proof-Dateien und Timestamping