timestamp services available for everyone. I've been looking for one
for a while now. But yesterday I found one over at
<a href="https://www.pki.dfn.de/zeitstempeldienst/">Deutches
-Forschungsnetz</a>mentioned in
+Forschungsnetz</a> mentioned in
<a href="http://www.d-mueller.de/blog/dealing-with-trusted-timestamps-in-php-rfc-3161/">a
blog by David Müller</a>. I then found a good recipe on how to use
over at the
<a href="http://www.rz.uni-greifswald.de/support/dfn-pki-zertifikate/zeitstempeldienst.html">University
-of Greifswald</a>. The OpenSSL library contain both server and tools
-to use and set up your own signing service. See the ts(1SSL),
-tsget(1SSL) manual pages for more details. The following shell script
-demonstrate how to extract a signed timestamp for any file on the disk
-in a Debian environment:</p>
+of Greifswald</a>.</p>
+
+<p>The OpenSSL library contain both server and tools to use and set up
+your own signing service. See the ts(1SSL), tsget(1SSL) manual pages
+for more details. The following shell script demonstrate how to
+extract a signed timestamp for any file on the disk in a Debian
+environment:</p>
<p><blockquote><pre>
#!/bin/sh