diff -r 8af4dd71e875 -r 8331ed86d9d7 index.html
--- a/index.html	Fri Sep 15 11:23:37 2017 +0100
+++ b/index.html	Fri Sep 15 11:24:57 2017 +0100
@@ -362,7 +362,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Mon May  9 11:33:58 BST 2016 <!-- hhmts end -->
-<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
+Time-stamp: <- 2017-09-15 11:24:51 by Christian Urban>
+<a href="https://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>