A followup on this openconnect issue: It seems now that it is really the router/access point that is causing the trouble. I tried openconnect elsewhere, but also outside of the university network, with a different router, and it seems to work alright there. So it's pretty likely that the "firewall" functionality of my router successfully breaks openconnect. And there is no update anymore... Oh joy! Greetings, Thomas
