och arbetstidens längd formligen herde regleras på lagstiftningens väg.