--- a/Timestamp.st Wed Oct 24 11:58:10 2018 +0100
+++ b/Timestamp.st Tue Nov 13 15:58:15 2018 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
"
COPYRIGHT (c) 1989 by Claus Gittinger
All Rights Reserved
@@ -1575,7 +1577,7 @@
'IDLW' -720 false "/ international date line west
'IDLE' 720 false "/ international date line east
- 'MEZ' 60 false "/ mittel europäische Zeit / central european (german)
+ 'MEZ' 60 false "/ mittel europäische Zeit / central european (german)
'MESZ' 120 true "/ central european summer (german)
'WESZ' 60 true "/ west european summer (german)