för eu arbetstid af 9 timmar hade icke länge warit allmänt i gäng.