The owner of the 0.de.vyos.net mirror notified me that his hoster changed his IPv6 address.
I’ve updated the AAAA record, secondary servers should have already picked it up.
If you’ve had any troubles with it, it should work now. Sorry for the inconivenience!