I Berlin strejka samtlige mureriarbetare.