[bikkser]

Correction; after reboot (the first time after adding the new IP address (addr add), server1 is still running but server2 it not anymore. Not listed, offline etc. Ports are unique for both servers. No idea what I am doing wrong.

unfortunately https://docs.linuxgsm.com/configuration/ip-address is also somewhat minimalistic.