och där infört 8-timmars-dagen.