Question: how to demote a dead domain controller?
Answer: Active Directory Users and Computers > Domain Controllers > select the dead server. Right click and Delete. Click Yes to confirm.