A security-update on one of our clusters failed unexpectedly and caused a downtime of our authentication server and printer server which needed manual intervention. All services should be back again by now. We apologize for the inconvenience caused by this. Update 18:00: The thin clients work again, too.