רודולף הראשון, מלך גרמניה – שפות אחרות