Host mx
    HostName 132.252.238.12
    Port 22
    User infra
    IdentityFile /mnt/veracrypt1/fse

Host helios
    HostName 132.252.238.17
    Port 22
    User infra
    IdentityFile /mnt/veracrypt1/fse

Host infinity
    HostName mos4.de
    Port 22
    User infinity
    IdentityFile /mnt/veracrypt1/mos4.de

Host github.com
    Hostname github.com
    Port 22
    User git
    IdentityFile /mnt/veracrypt1/git
