erhöllo alla hamnväsendets arbetare en extradagspenning