— Gasarbetarestrejken i Hamburg.