The content of which local file has to be transmitted to a remote SSH server in order to be able to log into the remote server using SSH keys?