https://blog.cscholz.io/geanderte-ssh-hostkeys-ignorieren/