Old WiFi system seems to be down.

Update 2020-04-20: Both WiFi controllers were down, the reason is still being investigated. One controller has a hardware defect and was replaced by a virtual machine.