17.06.2019: WebVPN reachable again

Over the weekend there was a failure of the WebVPN service. This is now (until his announced decommissioning on July 1, 2019) again available.

Over the weekend (15-16 June 2019), the WebVPN service failed due to a memory management error in the software used. The WebVPN server has been restarted; the service is now available again.

Please note that the WebVPN service will be discontinued on July 1, 2019.