Just found out: Either add a loopback device and assign it the desired IP address, or maybe add a secondary ip address in the extended settings of your existing network device. Both can go with netmask 255.255.255.255. The first option worked better for me (after some silly device driver...