Good news! After a few follow-up problems, all external and internal services are up-and-running again. Also, the internet connection for the dormitories has been fully functional for a while now.
The only exception is our ftp mirror, which is not relevant unless you e.g. have manually configured a package manager to use it. Unfortunately, it has a corrupt XFS volume, which we're trying to repair in the next few days.