oeh kolarbetarnes strejk måste betraktas såsom slutad.