Schließlich fand ich ein Open Source-Projekt namens Angry IP Scanner, schaute in den Quellcode und fand die Antwort.
Es fragt grundsätzlich den UDP-Port 5353 (Multicast DNS) des Zielcomputers und den Port 137 (NetBIOS) ab, um den Hostnamen dieses Computers zu ermitteln.
Ich habe diese Ports vermisst, weil netstat -ant
nur TCP-Ports angezeigt werden. netstat -anu
hätte sie erwischt.