utan annan förändring än att arbetstiden bestämdes till 12 timmar under sommaren.