Thanks again for the suggestions. My understanding of logoutUrl was that this is used by CAS to send the SLO request to, but is not related to the redirect after logout. I would understand if the redirect has to match the serviceId, though.
I checked the logs and found this message, which sounds like CAS is trying to find the SSO session based on the id_token_hint, but does not succeed. Probably because the token is not stored as a session key, but I don't know what some of the ticket types mean:
2023-11-14T13:08:31,304Z [http-nio-8080-exec-2] ERROR o.a.c.t.DefaultTicketCatalog:37 eup.sso.cas {"message": "Ticket definition for [here comes my id_token] cannot be found in the ticket catalog which only contains the following ticket types: [[TGT, ST, RT, AT, PT, TST, OC, SART, ODUC, PGT, SATQ, ODT]]"}
Any other suggestions?