— I Hamburg märkas 13,000 strejkande.