Genial. Vielen Dank!
Das Problem war mal wieder den richtigen Suchbegriff zu treffen. Interessanterweise findet die Forumssuche für "£ ß" genau zwei Treffer - aber ich wäre nie auf die Idee gekommen genau danach zu suchen.
HP hat der Textkonsole also eine vollwertige Terminalemulation spendiert, mit Setup-Menü und allem drum und dran. Ich hatte mich schon öfter gefragt was man mit den gelben Blöcken am unteren Bildschirmrand anfangen kann...
Ist das eigentlich eine Funktion des laufenden OS oder des Systems? (Soll heissen müsste man das bei einer Neuinstallation nochmal ändern?).
Mit meinen beiden 712ern hatte ich dieses Problem nicht, da konnte ich aber das HP-UX des Vorbesitzers knacken und weiternutzen. Vermutlich hatte er diese Einstellung schon vorgenommen.
Jetzt wo ich etwas mehr auf der Konsole rumgespielt habe fällt mir gleich das nächste Problem auf - die AltGr-Taste macht nur "piep". Ist natürlich blöd für | und \ usw. Als Tastatur ist USB_PS2_DIN_German_Euro eingestellt.