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.