ssh para um servidor falha com um usuário diferente. Resolvendo o addr / hostname parece falhar, mas o ping / nslookup funciona

Question

Não sei onde procurar para resolver o seguinte problema:

ssh me@server -p12345 # works
ssh other@server -p12345 # works
ssh thatuser@server -p12345 # fails

difference: 
- "me" has more privileges (group adm,sudo)
- "other" has more privileges (www-data)
- "thatuser" has just his own group

-->--
ssh -v -v -v -v thatuser@server -p12345
OpenSSH_7.4p1 Debian-10+deb9u3, OpenSSL 1.0.2l  25 May 2017
debug1: Reading configuration data /home/thatuser/.ssh/config
debug1: Reading configuration data /etc/ssh/ssh_config
debug1: /etc/ssh/ssh_config line 19: Applying options for *
debug2: resolving "localmachine" port 12345
-------------------^^^^^^^^^^^^
--<--

Resolver o host é apenas uma vez o problema para "thatuser". hmm

Verificar o ID do usuário me deu algumas dicas:

Parece que "aquele usuário" possui o ID do usuário que existe no passado para uma pessoa diferente que não existe mais (não no arquivo passwd ou group).

Mas como encontrar as restrições? grep -R 1001 / etc não me mostra dicas: /

Qualquer ideia seria realmente útil

Atenciosamente Florian