Our domain provider briefly gave out an empty DNS zone file after a configuration change.
EDIT 20:04 UTC - fixed.