Symptom: Die Umlaute, insbesondere im Grafikbildschirm, unter Linux sind falsch dargestellt.
Lösung: Das "locale" , das von Archimedes verwendet wird, fehlt auf dem betreffenden System.
Im Terminal eingeben:
sudo locale-gen de_DE
erzeugt das fehlende Locale.
Dann noch evtl. die Zeile
#export LANG=de_DE
durch Entfernen des "#" in der Datei "Archimedes" aktivieren, dann sollte es auf jeden Fall gehen!
Gruß, A. Goebel