Mirrors.dotsrc.org has been down for maintenance today between 23:50 and 24:00. Thanks to DKUUG we have been able to upgrade the mirror server from 2 GiB RAM to 32 GiB RAM