Hafenarbeiter , Arbeiter , die mit dem Löschen und Laden sowie Instandsetzen der Schiffe im Hafen zu tun haben, also Schauerleute , Speicherarbeiter, Kranführer, Dockarbeiter, Kesselreiniger, Anstreicher und Taucher .
Lexikoneintrag zu »Hafenarbeiter«. Meyers Großes Konversations-Lexikon, Band 8. Leipzig 1907, S. 604.