um nochmal auf das 913 tastenproblem zurückzukommen.
ich habe es jetzt hinbekommen, allerdings sind die angaben im hotkey menue wie schon geschrieben falsch.
das kommt vermutlich aufgrund der unterschiedlichen beschriftung der media, portal und archiv-taste zwischen 912 und 913.
vielleicht kann man die beschriftung in den hotkey-erweiterungen anpassen. ist aber nicht weiter dramatisch, wenn man es weiss...