3i Infrastructure plc agrees to acquire DNS:NET | RNS | Ticker