--- a/WindowSensor.st	Thu Jun 02 19:46:18 2016 +0200
+++ b/WindowSensor.st	Thu Jun 02 21:26:59 2016 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1993 by Claus Gittinger
               All Rights Reserved
@@ -305,6 +307,10 @@
         ($- $: 16rF7)      "/ divide           
         ($: $- 16rF7)      "/ divide           
         ($x $x 16rD7)      "/ multiply           
+        ($, $" 16r201E)    "/ german opening quote
+        ($< $" 16r201C)    "/ german closing quote
+"/        ($- $- $. 16r2013) "/ slightly longer dash (double length) 
+"/        ($- $- $- 16r2013) "/ longer dash (fourfold length) 
 
         "/ diacriticals: Compose diacrit character
         "/ grave