tusen hamnarbetare i Hamburg sitt arbete.