Volledige .de-domein was vier uur offline vanwege Dnssec-probleem bij beheerder