arbetstid af 12 timmar , hvilket denna tid på året väl torde kunna anses » normalt » , förtjenade de följaktligen 4 kr.