— En normal arbetstid förjernindustriarbetarns