super, vielen Dank für die Erklärung und die Hilfe.
Eine kleine Anmerkung habe ich noch:
Da in die Known_hosts-Datei eine Representation des Public Keys in Base64-Format speichern wird und laut Base64-Definition werden nur Zeichen zwischen 20-7B verwendet, werden Zeichen aus dem Bereich 80-9F nicht verwendet.Das gleiche gilt auf für die Domain bzw. IP, die auch in known_host eingetragen wird.
Daher könnte man es auch auf 819 stehen lassen aber 1252 ist sicherlich besser.