(english version below)
Hallo,
heute (Dienstag 5.8) gegen 14h werden die Numbercruncher (*-wing, lupo,
lupinchen) fuer ca eine Stunde nicht erreichbar sein.
Gruesse
Hello,
today (tuesday, august the 5th), our numbercrunchers will be down for
approx 1h (from 14h to 15h).
Regards
