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.