Unser OpenID-Mensch meinte dazu leider:
Zitat (OpenID-Mensch)
Ich denke, dies ist nicht möglich, da das OIDC-Token nicht für ILIAS generiert wurde. Falls man es überhaupt irgendwie an ILIAS übergeben könnte. Das problem ist, dass das Token für die Applikation ausgestellt wurde und nicht für ILIAS.