Den stora hamnarbetarestrejken i Hamburg.