Commenting them out enables them to still be able to connect to the
network, if they come back at some point. (cp.
954cf0da5a)
Details will follow on the icvpn mailing list.
The former Kiel3 host is going to be dropped, since the host known
as kiel2 is locally known as vpn3 it is sound for our numbering scheme
to rename it in this way.