Announcements Zulip server

We now provide a chat server via Zulip for students and employees of the Institut für Informatik. Further information on the service page for Zulip.