Sju tusen dockarbetare strejka i Rotterdam.