Title: The industrial relations in the Dutch mining industry especially in the years 1917-1918 and 1944-1945