ssh na serwerze kończy się niepowodzeniem z innym użytkownikiem. Rozwiązanie adresu addr / host wydaje się nie udać, ale działa ping / nslookup

Nie wiem, gdzie szukać, aby rozwiązać następujący problem:

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
-------------------^^^^^^^^^^^^
--<--

Rozwiązanie hosta to tylko jeden problem dla użytkownika „thatuser”. hmm

Sprawdzenie identyfikatora użytkownika dało mi kilka wskazówek:

Wydaje się, że „thatuser” posiada identyfikator użytkownika, który istnieje w przeszłości dla innej osoby, która już nie istnieje (nie w pliku passwd lub grupie).

Ale jak znaleźć ograniczenia? grep -R 1001 / etc nie pokazuje wskazówek: /

Wszelkie pomysły byłyby naprawdę pomocne

Z poważaniem Florian