marinministern har förordnat , att 8-timmarsdagen skall införasi