Host kopteinvm
    HostName koptein.de
    User koptein
    Port 22

Host home
    HostName 192.168.15.5
    User koptein
    Port 222

Host web
    HostName 192.168.15.12
    User root