Am 12.08.24 um 13:01 schrieb Christoph Brinkhaus:
Hallo Mitübersetzer,
Ebenso. Für "Hostname" könnten wir auch "Server" nehmen, wie es in "Port Nummer des Servers" ja schon vorkommt; zumindest sollte das vereinheitlicht werden. Unabhängig davon würde ich der "Port Nummer" einen Bindestrich spendieren. Freundliche Grüße Hermann-Josef