Redundant DHCP and DNS Resolver using OpenBSD

One of my OpenBSD server provides DHCP and DNS resolving for my home LAN. But it sometimes has to go into maintenance mode. And if an IoT or phone requires an IP address or an FQDN at the precise moment, I hear screaming throughout the whole house. So I decided to have fully redundant network services using two OpenBSD servers.