All systems are operational.
Some new devices do not receive addresses via DHCP or get wrong the wrong address.
Update 2019-08-09 14:00: The issue was caused by an malfunctioning DHCP config generator.
Incident UUID 5eb4ab65-ca57-4e00-9f0e-0eff9e30c604