— Strejken i Hamburg är nu flutad,