Sun, 13 Apr 1997 19:15:07 +0200 GENERATED TEXT;
wenzelm [Sun, 13 Apr 1997 19:15:07 +0200] rev 2945
GENERATED TEXT;
Sun, 13 Apr 1997 19:12:37 +0200 tuned format;
wenzelm [Sun, 13 Apr 1997 19:12:37 +0200] rev 2944
tuned format;
Sun, 13 Apr 1997 19:11:32 +0200 GENERATED TEXT;
wenzelm [Sun, 13 Apr 1997 19:11:32 +0200] rev 2943
GENERATED TEXT;
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip