Ich habe schon versucht die Tastatur mit shift+ALT und auch mit ALT+64 umzustellen, funktioniert aber nicht. Altgr selbst scheint zu funktionieren, da er alle anderen Zeichen schreibt. Hat jemand eine Idee dazu.