Confirmed that switching from de.archive.u.c. to archive.u.c. fixes this, so it's just de.archive being slow to update.
Confirmed that switching from de.archive.u.c. to archive.u.c. fixes this, so it's just de.archive being slow to update.