Some services had to be restarted to ensure proper operation. We see DHCP leases now being handed out normally and connectivity looks fully restored.
We will keep monitoring the situation closely. In case you encounter any issues please contact our servicedesk.